Introduction to Combinatory Logic

Cambridge University Press (1972)
Introduction Combinatory logic deals with a class of formal systems designed for studying certain primitive ways in which functions can be combined to form ...
Keywords Combinatory logic
Categories (categorize this paper)
Buy the book $58.62 used   $138.91 new    Amazon page
Call number QA9.H525
ISBN(s) 0521096979   9780521096973  
DOI 10.2307/2273051
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,807
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
Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19‐21):289-310.
Progress Report on Generalized Functionality.Jonathan P. Seldin - 1979 - Annals of Mathematical Logic 17 (1-2):29-59.
Pairing Without Conventional Restraints.Henk Barendregt - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (19-22):289-306.
The Axiomatic Characterization of Functions.B. Schweizer & A. Sklar - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (25-26):373-382.
Combinatory Reductions and Lambda Reductions Compared.Roger Hindley - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):169-180.

View all 11 citations / Add more citations

Similar books and articles
Constructive Set Theoretic Models of Typed Combinatory Logic.Andreas Knobel - 1993 - Journal of Symbolic Logic 58 (1):99-118.
Combinatory Reduction Systems.J. W. Klop - 1980 - Mathematisch Centrum.
Partial Combinatory Algebras of Functions.Jaap van Oosten - 2011 - Notre Dame Journal of Formal Logic 52 (4):431-448.
Introduction to Combinatory Logic.Sören Stenlund - 1971 - Uppsala, Uppsala Universitetet, Filosofiska Föreningen Och Filosofiska Institutionen.
Combinatory Logic.Haskell B. Curry - 1958 - Amsterdam: North-Holland Pub. Co..
Added to PP index

Total downloads
14 ( #370,229 of 2,214,511 )

Recent downloads (6 months)
3 ( #173,694 of 2,214,511 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature