Tag Archives: Lumsdaine

Trois cours de Gambino, Licata, Lumsdaine sur #HoTT

http://smc2014.univ-lyon1.fr/doku.php?id=week1 Click to access fetch.php Click to access fetch.php Click to access fetch.php

Posted in homotopy type theory | Tagged , ,