The Gallery

Type theory

Alfred Tarski

Per Martin-Löf

Gérard Huet

Leon Henkin

Thierry Coquand

John Lane Bell

Henk Barendregt

Peter B. Andrews
1