ITU

Homotopy type theory seminar

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

Nicolas Pouillard - Organizer

5 Feb 2014 → …

Seminar

SeminarHomotopy type theory seminar
LocationIT University of Copenhagen
CountryDenmark
CityCopenhagen
Period05/02/201428/05/2014
Internet address

ID: 80139146