#HoTT : une nouvelle fondation pour les mathématiques du 21eme siècle

http://aperiodical.com/2013/06/homotopy-type-theory-a-new-foundation-for-21st-century-mathematics/

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