Special issue on homotopy type theory 2019

Download PDF
Open Webpage

Dan Licata, Peter LeFanu Lumsdaine

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