Seminario HoTT: Introduzione alla teoria dei tipi
Data dell'evento:
Tue 22/10/2013 ore 14:30 Nell'ambito dei seminari sulla Teoria Omotopica dei Tipi (HoTT), Marco Maggesi terrà un seminario di
Introduzione alla teoria dei tipi
martedì 22 ottobre alle ore 14:30 in aula 7 del Dipartimento di Matematica e Informatica "U. Dini"
Il seminario sarà basato sul materiale del primo capito del libro Homotopy Type Theory.
Luogo:
Aula 7, DiMaI