Homotopy type theory seminar

Activity: Participating in or organising an event typesOrganisation and participation in workshop, seminar, course

Period5 Feb 2014 → …
Event typeSeminar
OrganiserRasmus Møgelberg and Nicolas Pouillard
LocationCopenhagen, Denmark