John T. Kearns. Combinatory logic with discriminators. The journal of symbolic logic, vol. 34 , pp. 561–575

Journal of Symbolic Logic 38 (2):339-340 (1973)
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2272102
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,214
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Review: John T. Kearns, Combinatory Logic with Discriminators. [REVIEW]Jonathan P. Seldin - 1973 - Journal of Symbolic Logic 38 (2):339-340.
Combinatory Logic with Discriminators.John T. Kearns - 1973 - Journal of Symbolic Logic 38 (2):339-340.
Combinatory Logic with Discriminators.John T. Kearns - 1969 - Journal of Symbolic Logic 34 (4):561-575.
The Completeness of Combinatory Logic with Discriminators.John T. Kearns - 1973 - Notre Dame Journal of Formal Logic 14 (3):323-330.
Combinatory Logic. Haskell B. Curry, J. Roger Hindley, and Jonathan P. Seldin. Combinatory Logic. Volume II. Studies in Logic and the Foundations of Mathematics, Vol. 65. North-Holland Publishing Company, Amsterdam and London 1972, XIV + 520 Pp. [REVIEW]Henk Barendregt - 1977 - Journal of Symbolic Logic 42 (1):109-110.
Introduction to Combinatory Logic.J. Roger Hindley - 1972 - Cambridge University Press.
Combinatory Logic.Haskell B. Curry - 1958 - Amsterdam: North-Holland Pub. Co..
Studies in Illative Combinatory Logic.J. P. Seldin - 1968 - V.R.B. Offsetdrukkerij.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536-556.
Combinatory Logic.Haskell B. Curry, J. Roger Hindley & Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):109-110.
Set Theory Based on Combinatory Logic.Jonathan P. Seldin & Maarten Wicher Visser Bunder - 1970 - Journal of Symbolic Logic 35 (1):147.
Review: Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin, Combinatory Logic. [REVIEW]Henk Barendregt - 1977 - Journal of Symbolic Logic 42 (1):109-110.
Introduction to Combinatory Logic.Sören Stenlund - 1971 - Uppsala, Uppsala Universitetet, Filosofiska Föreningen Och Filosofiska Institutionen.
Elements of Combinatory Logic.Frederic Brenton Fitch - 1974 - New Haven: Yale University Press.

Analytics

Added to PP index
2016-06-30

Total views
23 ( #492,912 of 2,507,562 )

Recent downloads (6 months)
1 ( #416,983 of 2,507,562 )

How can I increase my downloads?

Downloads

My notes



Home | New books and articles | Bibliographies | Philosophy journals | Discussions | Article Index | About PhilPapers | API | Contact us | Code of conduct

CDP Phiosophy Documentation Center
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation

Server: philpapers-web-6554db7cdd-vnlbs N