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...
Robert Brewer

Robert Brewer

male, 29 years old (Sunnyvale, California, United States)
single, From The Woodlands Tx, Actors' Equity Association, likes getting a job, likes calculus, Lambda Chi Alpha
Something I thought about today: most things (whether it's acting or life) are easier and more fun if you just relax into them. If you work too...
John C. Reynolds

John C. Reynolds

male, 74 years old
Fellow of the Association for Computing Machinery, Forsythe programming language, ACM SIGPLAN Programming Language Achievement Award, data structure, Academic of Queen Mary, University of London, Communications of the ACM…polymorphic lambdacalculus
John C. Reynolds is an American computer scientist (born June 1, 1935). John Reynolds studied at Purdue University and then earned a PhD in...

William Alvin Howard

male
Ph.D., University of Chicago, typed lambda-calculus, Curry-Howard correspondence, Ordinal, intuitionistic logic
William Alvin Howard (1926 -) is a proof theorist most well-known for his work demonstrating formal similarity between intuitionistic logic and the...

Robert Feys

male, deceased (1961)
Logician, philosopher, simply typed lambdacalculus, Combinatory Logic I, Haskell B. Curry, type inference
Robert Feys was a logician and philosopher. In 1958 Feys and Haskell B. Curry devised the type inference algorithm for the simply typed lambda...
Mike Machenry

Mike Machenry

male, 28 years old (Cambridge, Massachusetts, United States)
single, atheist, college graduate, MySpace, likes tv, White / Caucasian
I'm an under-informed loud-mouth pundit with a passion for orange juice and a knack for B and E. I ride a bicycle to work and I write code. I enjoy...