The Gallery

Lambda calculus

Stephen Cole Kleene

Haskell Curry

Alonzo Church

1