Robert Feys

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