Daniel R. Licata
Professor, Wesleyan University
My code, papers, and talks on Homotopy Type Theory, an exciting new project combining type theory, homotopy theory, and category theory.
In Fall 2013, I am teaching Computer-Checked Programs and Proofs.
|dlicata at wesleyan.edu|
|Phone||412 889 0106|
Department of Mathematics and Computer Science
Middletown, CT 06459