#HoTT The real Numbers in homotopy type theory

http://math.andrej.com/wp-content/uploads/2016/06/hott-reals-cca2016.pdf

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