nLab Pierre-Louis Curien

Selected writings

On the categorical semantics of dependent type theory with function types in locally cartesian closed categories (see at relation between category theory and type theory):

category: people

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