15-819 Homotopy Type Theory - discu.eu

Hacker News

15-819 Homotopy Type Theory http://www.cs.cmu.edu/~rwh/courses/hott/ 32 comments 12/1/2014

Linking pages

GitHub - williamdemeo/TypeFunc: Resources for type theory, functional programming, etc. https://github.com/williamdemeo/TypeFunc 0 comments

Related searches:

Search whole site: site:www.cs.cmu.edu

Search title: 15-819 Homotopy Type Theory

See how to search.

Submit link to: