Combinatory logic with discriminators
Journal of Symbolic Logic 34 (4):561-575 (1969)
Abstract
This article has no associated abstract. (fix it)Reprint years
1970
DOI
10.2307/2270850
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Introduction to Combinatory Logic.Sören Stenlund - 1971 - Uppsala, Uppsala Universitetet, Filosofiska Föreningen Och Filosofiska Institutionen.
The axiom of choice and combinatory logic.Andrea Cantini - 2003 - Journal of Symbolic Logic 68 (4):1091-1108.
On the existence of extensional partial combinatory algebras.Ingemarie Bethke - 1987 - Journal of Symbolic Logic 52 (3):819-833.
The completeness of combinatory logic with discriminators.John T. Kearns - 1973 - Notre Dame Journal of Formal Logic 14 (3):323-330.
Analytics
Added to PP
2009-01-28
Downloads
27 (#433,323)
6 months
1 (#449,220)
2009-01-28
Downloads
27 (#433,323)
6 months
1 (#449,220)
Historical graph of downloads
Citations of this work
The Computational Origin of Representation.Steven T. Piantadosi - 2021 - Minds and Machines 31 (1):1-58.
Thinking machines: Some fundamental confusions. [REVIEW]John T. Kearns - 1997 - Minds and Machines 7 (2):269-87.
References found in this work
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
