Formal Abstract Homotopy Theory

Date

Speakers

Jeremy Avigad

Affiliation

Carnegie Mellon University