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