Zeitschrift | Band | Artikel
A meaning explanation for Hott
pp. 651-680
Publication details
Published in:
Antos Carolin, Barton Neil, Friedman Sy David, Ternullo Claudio, Wigglesworth John (2020) Foundations of mathematics. Synthese 197 (2).
Seiten: 651-680
DOI: 10.1007/s11229-018-02052-1
Referenz:
Tsementzis Dimitris (2020) „A meaning explanation for Hott“. Synthese 197 (2), 651–680.