Henk Barendregt

Henk Barendregt

male, 62 years old
Stanford University, Dirk van Dalen, lambdacalculus, NWO Spinoza Award, Orde van de Nederlandse Leeuw, Hendrik Pieter (Henk) Barendregt
Hendrik Pieter (Henk) Barendregt (b. 1947) is a Dutch logician, known for his work in lambda calculus and type theory. Barendregt holds the chair...
Haskell Curry

Haskell Curry

male, deceased (1982)
Harvard University, Princeton University, Logician, mathematician, Princeton University faculty, Pennsylvania State University faculty…lambdacalculus
Haskell Brooks Curry was an American mathematician and logician. The son of educator Samuel Silas Curry, he was educated at Harvard University and...
J. Barkley Rosser

J. Barkley Rosser

male, deceased (1989)
Logician, mathematician, Princeton University alumni, University of Wisconsin-Madison, University of Wisconsin-Madison faculty, American…lambdacalculus
John Barkley Rosser Sr. was an American logician, a student of Alonzo Church, and known for his part in the Church-Rosser theorem, in lambda...

Gérard Berry

male, 61 years old
ESTEREL TECHNOLOGIES, computer scientist, lambdacalculus, French Academy of Technologies, synchronous digital circuit, Gérard Philippe Berry
Gérard Philippe Berry is a French computer scientist, member of French Academy of Sciences (Académie des sciences), French Academy of Te...
Corrado Böhm

Corrado Böhm

male, 86 years old
computer pioneer, computer scientist, Italian, structured programming, Functional programming, University of Rome "La Sapienza"…lambda-calculus
Corrado Böhm, Professor Emeritus at the University of Rome "La Sapienza", is a computer scientist known especially for his contributions to the t...