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