Repository | Journal | Volume | Articles

COPR BookmarkLink
234058

(2020) Synthese 197 (2).

Expressing "the structure of" in homotopy type theory

David Corfield

pp. 681-700

Publication details

DOI: 10.1007/s11229-017-1569-7

Full citation:

Corfield, D. (2020). Expressing "the structure of" in homotopy type theory. Synthese 197 (2), pp. 681-700.

This document is unfortunately not available for download at the moment.