nLab Bart Jacobs

Selected writings

Selected writings

On dependent type theory and its categorical semantics (categorical model of dependent types):

category: people

Last revised on January 22, 2023 at 13:24:50. See the history of this page for a list of all contributions to it.