Cohomology in Homotopy Type Theory Date March 06, 2013 Speakers Eric Finster Affiliation Ecole Polytechnique Federal de Lausanne; Member, School of Mathematics School of Mathematics Univalent