#HoTT : equality = indistinguishabity

http://benedikt-ahrens.de/talks/Marseille.pdf

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