nLab Daniel Gratzer

Selected works

Selected works

On the principles of dependent type theory

On categorical models of dependent types via locally Cartesian closed categories:

On modal type theory:

On XTT:

On the independence of the continuum hypothesis from ZFC via forcing in topos theory:

On simplicial type theory:

category: people

Last revised on May 19, 2025 at 21:48:15. See the history of this page for a list of all contributions to it.