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)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272102

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,611

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

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 [Eng.]: University Press. Edited by B. Lercher & J. P. Seldin.
Combinatory logic.Haskell Brooks 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
2016-06-30

Downloads
29 (#555,479)

6 months
5 (#649,144)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references