Univalent Foundations Seminar
Cohomology in Homotopy Type Theory
Date & Time
March 06, 2013 | 11:00am – 12:30pm
Location
S-101Speakers
Eric Finster
Affiliation
Ecole Polytechnique Federal de Lausanne; Member, School of Mathematics