nLab Per Martin-Löf

Selected writings

Introducing Martin-Löf dependent type theory:

and regarded as a programming language:

A list of publication is kept here:

category: people

Last revised on June 15, 2022 at 10:29:40. See the history of this page for a list of all contributions to it.