Per Martin-Löf

Mathematics of infinity

Per Martin-Löf, Per Martin-Löf, P. Martin-Löf, 1988, Conference on Computer Logic.

Verificationism Then and Now

Per Martin-Löf, Per Martin-Löf, 2013, Judgement and the Epistemic Foundation of Logic.

Intuitionistic type theory

Per Martin-Löf, P. Martin-Löf, 1984, Studies in proof theory.