Robert_Feys - Ogleo Search

Ogleo	Tell A Friend \| Traffic Details
	Go to » Web - QA - Dictionary - Encyclopedia - Images
		Your browser does not support inline frames or is currently configured not to display inline frames.
	All Web QA Dictionary Encyclopedia Images

Web

Results 1 - 10 of about 74,800 for Robert Feys

Robert Feys - Wikipedia, the free encyclopedia

Robert Feys (1889—1961) was a logician ... Haskell B. Curry Robert Feys. With two sections ... ed. by Robert Feys and Frederic B. Fitch. Publisher: Amsterdam : ...
http://en.wikipedia.org/wiki/Robert_Feys

Feys - Wikipedia, the free encyclopedia

Robert Feys (1889-1961), logician and philosopher [edit] See also. Fays. Fey (disambiguation) This page or section lists people with the surname Feys. ...
http://en.wikipedia.org/wiki/Feys

Review: Robert Feys, Logique Formalisee et Philosophie

Review: Robert Feys, Logique Formalisee et Philosophie. Robert E. Luce ... Robert Feys, Logique Formalisee et Philosophie. Full-text: Remote access ...
http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.jsl/1183730539

Citations: Curry and Robert Feys - Haskell (ResearchIndex)

Haskell B. Curry and Robert Feys. Combinatory Logic I. North-Holland, Amsterdam, 1958. ... Haskell B. Curry and Robert Feys. Combinatory Logic, volume 1. North ...
http://citeseer.ist.psu.edu/context/57747/0

Review: Robert Feys, Principes de Logistique

Review: Robert Feys, Principes de Logistique. Paul Henle ... Robert Feys, Principes de Logistique. Full-text: Remote access. If you are a member of the ASL, ...
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 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]

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