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 Spring 2015, I am teaching Functional Programming.
|dlicata at wesleyan.edu|
|Phone||412 889 0106|
Department of Mathematics and Computer Science
Middletown, CT 06459