nLab Daniel Gratzer

Selected works

Selected works

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

On modal type theory:

On XTT:

On simplicial type theory:

category: people

Last revised on August 9, 2024 at 13:42:01. See the history of this page for a list of all contributions to it.