Skip to main content
Toggle navigation
Home
Schools + Programs
Recent
Lectures by IAS Director and Faculty
Historical Studies
Mathematics
Natural Sciences
Social Science
Artist in Residence
Women and Mathematics
Prospects in Theoretical Physics
Academic Years
2014-2015
2013-2014
2012-2013
2011-2012
2010-2011
2009-2010
2008-2009
2007-2008
2006-2007
2005-2006
2004-2005 & prior
IAS Home
Formal Abstract Homotopy Theory
Download
Jeremy Avigad
Carnegie Mellon University
February 28, 2013
More like this
Homotopy Theory in Type Theory
Cohomology in Homotopy Type Theory
Gluing in Homotopy Type Theory
Homotopy Type Theory: what can logic do for homotopy theory?
Geometry of metrics and measure concentration in abstract ergodic theory