Robert Feys

From Wikipedia, the free encyclopedia

Robert Feys (1889—1961) was a logician and philosopher.

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

• Sources for birth and death date: [1] and [2]