Haskell Curry

Haskell Curry

male, deceased (1982)
Harvard University, Princeton University, Logician, mathematician, Princeton University faculty, Pennsylvania State University faculty…mathematical logic, intuitionistic logic, combinatorylogic, Foundations of Mathematical Logic
Haskell Brooks Curry was an American mathematician and logician. The son of educator Samuel Silas Curry, he was educated at Harvard University and...

Moses Schönfinkel

male, deceased (1942)
from Dnipropetrovsk, Dnipropetrovsk, Ekaterinoslav, Russian, soviet, ussr…combinatorylogic
Moses Schönfinkel, also known as Moisei Isai'evich Sheinfinkel' Шейнфинкель (September 4, 1889 Ekaterinoslav (now "Dnipropetrovsk, Ukraine") -...

Mark Steedman

male, 62 years old
University of Pennsylvania, School of Informatics, British Academy, Alumni of the University of Edinburgh, FRSE, Alumni of the University of Sussex…combinatorylogic, Combinatory Categorial Grammar
Mark J. Steedman, FBA FRSE (born 18 September 1946) is a computational linguist and cognitive scientist. Steedman graduated from the University of...
Corrado Böhm

Corrado Böhm

male, 86 years old
computer pioneer, computer scientist, Italian, structured programming, Functional programming, University of Rome "La Sapienza"…combinatorylogic
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 Feys

male, deceased (1961)
Logician, philosopher, simply typed lambda calculus, CombinatoryLogic 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...