Repository | Journal | Volume | Article

COPR Bookmark Link
234067

Expressing "the structure of" in homotopy type theory

David Corfield

pp. 681-700

Publication details

Published in:

Antos Carolin, Barton Neil, Friedman Sy David, Ternullo Claudio, Wigglesworth John (2020) Foundations of mathematics. Synthese 197 (2).

Pages: 681-700

DOI: 10.1007/s11229-017-1569-7

Full citation:

Corfield David (2020) „Expressing "the structure of" in homotopy type theory“. Synthese 197 (2), 681–700.