nLab Bart Jacobs

Selected writings

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

category: people

Last revised on April 3, 2023 at 09:56:25. See the history of this page for a list of all contributions to it.