#HoTT : Homotopy theory in type theory .. en vidéo

Exposé particulièrement clair qui a fait l’objet de cet article:

https://anthroposophiephilosophieetscience.wordpress.com/2017/10/30/hott-homotopy-theory-in-type-theory-pour-une-comprehension-claire-de-la-theorie-homotopique-des-types/

La vidéo est ici :

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