Formal Abstract Homotopy Theory

Date

Affiliation

Carnegie Mellon University

Speakers

Jeremy Avigad