Extended Abstracts Fall 2013: Geometrical Analysis; Type Theory, Homotopy Theory and Univalent Foundations

Geometric Analysis and PDEs: Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, June 11-16, 2007