Formal Abstract Homotopy Theory

Download Embed
Jeremy Avigad
Carnegie Mellon University
February 28, 2013