nLab Mike Shulman

Redirected from "MikeShulman".

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)

Talks.

On higher observational type theory:

category: people

Last revised on October 15, 2024 at 19:01:37. See the history of this page for a list of all contributions to it.