15-819 Homotopy Type Theory

cs.cmu.edu/~rwh/courses/hott

Carnegie Mellon Homotopy Type Theory Course

Comments (0)

Sign in to post comments.