Per Martin-Löf

1942

• Intuitionistic type theory
• Notes on constructive mathematics