#HoTT la Page d’Erik Palmgren

http://staff.math.su.se/palmgren/

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