A meaning explanation for Hott
pp. 651-680
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: 651-680
DOI: 10.1007/s11229-018-02052-1
Citation complète:
Tsementzis Dimitris, 2020, A meaning explanation for Hott. Synthese 197 (2), Foundations of mathematics, 651-680. https://doi.org/10.1007/s11229-018-02052-1.