Cohomology in Homotopy Type Theory – Eric Finster



Eric Finster
Ecole Polytechnique Federal de Lausanne; Member, School of Mathematics
March 6, 2013

For more videos, visit http://video.ias.edu

source