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 May 13, 2021 at 02:08:47. See the history of this page for a list of all contributions to it.