nLab Christine Paulin-Mohring

Selected writings

Selected writings

Introducing the notion of inductive types in type theory

and with it the calculus of inductive constructions used by Coq:

category: people

Last revised on January 17, 2023 at 12:37:09. See the history of this page for a list of all contributions to it.