Login / Signup
Dan Licata
ORCID
Publication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 3
Top Topics
Applied Intelligence
Theoretical Basis
Special Issue
Ai Edam
Top Venues
Math. Struct. Comput. Sci.
ICFP
</>
Publications
</>
Dan Licata
,
Peter LeFanu Lumsdaine
Special issue on homotopy type theory 2019 vol. 2.
Math. Struct. Comput. Sci.
33 (8) (2023)
Dan Licata
,
Peter LeFanu Lumsdaine
Special issue on homotopy type theory 2019.
Math. Struct. Comput. Sci.
31 (10) (2021)
Dan Licata
A functional programmer's guide to homotopy type theory.
ICFP
(2016)