Robert Feys
Robert Feys (19 December 1889 – 13 April 1961) was a Belgian logician and philosopher, who worked at the University of Leuven (Belgium).Feys was born in Mechelen, and received his PhD in 1909 from the Institute of Philosophy, University of Leuven. In 1913 he was appointed Professor at the Université Saint-Louis, Brussels. But due to the War he enlisted in the Army. In 1919 he was appointed Professor at the Institute St. Gertrude in Nivelles. In 1929 he returned to the Université Saint-Louis, Brussels, and in 1944 he was appointed Professor at the University of Leuven.
In 1958 Feys and Haskell B. Curry devised the type inference algorithm for the simply typed lambda calculus (''Combinatory Logic''). Provided by Wikipedia
-
1
-
2
-
3
-
4
-
5
-
6
-
7by Feys, Robert, 1889-1961
Published 1939
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Book -
8
-
9
-
10by Curry, Haskell B (Haskell Brooks), 1900-1982, Curry, Haskell B (Haskell Brooks), 1900-1982, Curry, Haskell B (Haskell Brooks), 1900-1982, Curry, Haskell B (Haskell Brooks), 1900-1982, Craig, William, 1918-, Feys, Robert, Hindley, J. Roger, Seldin, J. P.Other Authors: “...Feys, Robert, 1889-...”
Published 1958
Book -
11Published 1965Other Authors: “...Feys, Robert...”
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Map -
12by Sanselme, H.Other Authors: “...Feys, Robert...”
Published 1968
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Map -
13
-
14Published 1965Other Authors: “...Feys, Robert...”
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Map -
15by Curry, Haskell B (Haskell Brooks), 1900-1982Other Authors: “...Feys, Robert, 1889-1961...”
Published 1958
Book -
16Published 1970Other Authors: “...Feys, Robert...”
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Map