Special issue on homotopy type theory 2019 vol. 2

Download PDF
Open Webpage

Dan Licata, Peter LeFanu Lumsdaine

Published: 01 Jan 2023, Last Modified: 20 Nov 2024Math. Struct. Comput. Sci. 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0960129523000221/resource/name/firstPage-S0960129523000221a.jpg