Publication details
Jahr: 2020
Pages: 701-701
Reihe: Synthese
Volle Referenz:
Missing Type: technical_part
Correction to
Expressing "the structure of" in homotopy type theory
pp. 701-701
in: Carolin Antos, Neil Barton, Sy D. Friedman, Claudio Ternullo, John Wigglesworth (eds), Foundations of mathematics, Synthese 197 (2), 2020.Publication details
Jahr: 2020
Pages: 701-701
Reihe: Synthese
Volle Referenz:
Missing Type: technical_part