Robert Feys (1889—1961) was a Belgian logician and philosopher, who worked at the University of Leuven (Belgium).
In 1958 Feys and Haskell B. Curry devised the type inference algorithm for the simply typed lambda calculus (Combinatory Logic I).
Read article at Wikipedia
Date of birth:
- 1889
Date of death:
- 1961 (age 72 years)
