nLab Mike Shulman

Mike Shulman is an Associate Professor at the University of San Diego. His personal web page is here.

Selected writings

On higher inductive types:

On modal type theory:

On cohesive homotopy type theory:

On higher observational type theory:

On displayed type theory:

On set theory:

On synthetic differential geometry:

  • Mike Shulman, Chicago Pizza-Seminar: Synthetic Differential Geometry (pdf)


On higher observational type theory:

category: people

Last revised on March 1, 2024 at 05:09:53. See the history of this page for a list of all contributions to it.