Dan Licata , Robert Harper :programming in #HoTT

http://dlicata.web.wesleyan.edu/pubs/lh122tttalks/lh12wg2.8.pdf

Advertisements
This entry was posted in homotopy type theory. Bookmark the permalink.