Seminario HoTT: Tipo identità e induzione sui cammini
Data dell'evento:
Wed 30/10/2013 ore 14:00 Nell'ambito dei seminari sulla Teoria Omotopica dei Tipi, Marco Maggesi terrà un seminario su
Tipo identità e induzione sui cammini
mercoledì 30 ottobre alle ore 14:00 nella sala conferenze "Tricerri" del Dipartimento di Matematica e Informatica "U. Dini"
Il seminario sarà basato sul materiale sulla seconda parte del primo capito del libro Homotopy Type Theory.
Luogo:
Aula seminari Tricerri