nLab Paul Francis Mendler

Selected writing

Selected writing

Early definition of inductive types in type theory:

category: people

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