Homotopy Type Theory
Dan Licata

Homepage

Dan Licata

category: people