Expressing "the structure of" in homotopy type theory
pp. 681-700
Détails de la publication
Publié dans:
Antos Carolin, Barton Neil, Friedman Sy David, Ternullo Claudio, Wigglesworth John (2020) Foundations of mathematics. Synthese 197 (2).
Pages: 681-700
DOI: 10.1007/s11229-017-1569-7
Citation complète:
Corfield David, 2020, Expressing "the structure of" in homotopy type theory. Synthese 197 (2), Foundations of mathematics, 681-700. https://doi.org/10.1007/s11229-017-1569-7.