#HTTUF Benedikt Ahrens : univalent foundations and the equivalence principle

https://video.ias.edu/VoevodskyMemConf-2018/0912-BenediktAhrens

À la fois la vidéo et le fichier pdf attaché, pour mieux suivre

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