Robert Feys
From Wikipedia, the free encyclopedia
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).
[edit] 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
[edit] External links
.svg){kind=small}   |
This article about a Belgian scientist is a stub. You can help Wikipedia by expanding it. |
 |
This article about a European 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. |
