Homotopy type theory seminar

  • Nicolas Pouillard (Organizer)

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, DenmarkShow on map