Daniel R. Licata
Professor, Wesleyan University
My code, papers, and talks on Homotopy Type Theory.
Materials for teaching functional programming.
In Spring 2015, I am teaching COMP 212.
|dlicata at wesleyan.edu|
|Phone||412 889 0106|
Department of Mathematics and Computer Science
Middletown, CT 06459