Correction to
expressing "the structure of" in homotopy type theory
pp. 701-701
Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 374
Publication details
Published in:
Antos Carolin, et al. (2020) Foundations of mathematics. Synthese 197 (2).
Seiten: 701-701
Referenz:
Correction to, : expressing "the structure of" in homotopy type theory, , .