Cohomology in Homotopy Type Theory

Date

Affiliation

Ecole Polytechnique Federal de Lausanne; Member, School of Mathematics

Speakers

Eric Finster