Repository | Journal | Volume | Article

COPR Bookmark Link
234066

A meaning explanation for Hott

Dimitris Tsementzis

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).

Pages: 651-680

DOI: 10.1007/s11229-018-02052-1

Full citation:

Tsementzis Dimitris (2020) „A meaning explanation for Hott“. Synthese 197 (2), 651–680.