Trois cours de Gambino, Licata, Lumsdaine sur #HoTT

http://smc2014.univ-lyon1.fr/doku.php?id=week1

http://smc2014.univ-lyon1.fr/lib/exe/fetch.php?media=msc-hott1.pdf

http://smc2014.univ-lyon1.fr/lib/exe/fetch.php?media=msc-hott3.pdf

http://smc2014.univ-lyon1.fr/lib/exe/fetch.php?media=msc-hott4.pdf

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