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).
Bibliography
- Combinatory logic
- Haskell B. Curry Robert Feys. With two sections by William Craig
- Publisher: Amsterdam, North-Holland Pub. Co., 1958-72.
- ISBN 0-7204-2208-6
- Dictionary of symbols of mathematical logic
- ed. by Robert Feys and Frederic B. Fitch
- Publisher: Amsterdam : North-Holland Pub. Co., 1973, c1969.
- ISBN 0-7204-2250-7
External links
 |
This article about a mathematician is a stub. You can help Wikipedia by expanding it. |
 |
This article about a philosopher is a stub. You can help Wikipedia by expanding it. |
This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)
