Daniel R. Licata
Professor, Wesleyan University
My code, papers, and talks on Homotopy Type Theory.
Upper-level grad students and recent PhDs, apply for the AMS Math Research Communities Workshop on Homotopy Type Theory!
|dlicata at wesleyan.edu|
|Phone||412 889 0106|
Department of Mathematics and Computer Science
Middletown, CT 06459