The Hole Argument in Homotopy Type Theory
Crossref DOI link: https://doi.org/10.1007/s10701-019-00293-9
Published Online: 2019-10-04
Published Print: 2020-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ladyman, James
Presnell, Stuart
Funding for this research was provided by:
Leverhulme Trust
Text and Data Mining valid from 2019-10-04
Version of Record valid from 2019-10-04
Article History
Received: 23 November 2017
Accepted: 16 August 2019
First Online: 4 October 2019