On a Model Invariance Problem in Homotopy Type Theory
Crossref DOI link: https://doi.org/10.1007/s10485-019-09558-w
Published Online: 2019-02-01
Published Print: 2019-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bordg, Anthony https://orcid.org/0000-0003-1694-9467
Funding for this research was provided by:
Grantová Agentura České Republiky (GA CR P201/12/G028)
Text and Data Mining valid from 2019-02-01
Article History
Received: 26 January 2018
Accepted: 11 January 2019
First Online: 1 February 2019