Correction to
expressing "the structure of" in homotopy type theory
pp. 701-701
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: 701-701
Citation complète:
Correction to, : expressing "the structure of" in homotopy type theory, , .