Homotopy type theory seminar
Activity: Participating in or organising an event types › Organisation and participation in workshop, seminar, course
Nicolas Pouillard - Organizer
5 Feb 2014 → …
Seminar
Seminar | Homotopy type theory seminar |
---|---|
Location | IT University of Copenhagen |
Country | Denmark |
City | Copenhagen |
Period | 05/02/2014 → 28/05/2014 |
Internet address |
ID: 80139146