nLab
Per Martin-Löf

• Wikipedia entry

• collection of articles on github

Related entries

• type theory

• Martin-Löf dependent type theory, dependent type theory, intensional type theory

• identity types

category: people