Robert_Feys - Ogleo Search

Ogleo	Tell A Friend \| Traffic Details
	Go to » Web - QA - Dictionary - Encyclopedia - Images

	All Web QA Dictionary Encyclopedia Images

Web

Results 1 - 10 of about 77,500 for Robert Feys

Robert Feys - Wikipedia, the free encyclopedia

Robert Feys (1889—1961) was a Belgian logician and philosopher, who worked at the University of Leuven ... In 1958 Feys and Haskell B. Curry devised the type inference ...
http://en.wikipedia.org/wiki/Robert_Feys

Turquette: Review: Robert Feys, Nature et Possibilites de la ...

Review: Robert Feys, Nature et Possibilites de la Logique Formalisee; Robert Feys, La Formalisation comme ... Robert Feys, Nature et Possibilites de la Logique Formalisee. ...
http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.jsl/1183732065

Henle: Review: Robert Feys, Principes de Logistique

Review: Robert Feys, Principes de Logistique. Paul Henle. Source: J. ... Robert Feys, Principes de Logistique. Full-text: Remote access. If you are a member of the ...
http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.jsl/1183386797

We did not find QA results for: Robert Feys. Try the suggestions below or type a new query above.

Suggestions:

Check your spelling.
Try more general words.
Try different words that mean the same thing.
Broaden your search by using fewer words.

Click on the word below to see the definition:

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

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

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.

Retrieved from "http://en.wikipedia.org/wiki/Robert_Feys"

All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc.
Privacy policy - About Wikipedia - Disclaimers - Fundraising