Home
Proofs
Library
Chat
Docs
Notif.
Billing
Settings
Sign in
home
library
authors
Michael Shulman
Michael Shulman
Publications
Modalities in Homotopy Type Theory. Egbert Rijke, Michael Shulman, Bas Spitters. 2020.
All (∞,1)-Toposes Have Strict Univalent Universes. Michael Shulman. 2019.
A Type Theory for Synthetic ∞-Categories. Emily Riehl, Michael Shulman. 2017.
Quantum Gauge Field Theory in Cohesive Homotopy Type Theory. Urs Schreiber, Michael Shulman. 2014.