#HoTT The Book : homotopy type theory permits « Logic of homotopy types »

https://www.ias.edu/ideas/2013/homotopy-type-theory

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