Robert Feys

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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).


  • 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[citation needed]

External links[edit]