Cambridge University Press (1972)

Abstract
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 this book Find it on Amazon.com
Call number QA9.H525
ISBN(s) 0521096979   9780521096973
DOI 10.2307/2273051
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: 71,199
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.
Pairing Without Conventional Restraints.Henk Barendregt - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (19-22):289-306.
Pairing Without Conventional Restraints.Henk Barendregt - 1974 - Mathematical Logic Quarterly 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.

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 Logic.Haskell B. Curry - 1958 - Amsterdam: North-Holland Pub. Co..
Introduction to Combinatory Logic.Sören Stenlund - 1971 - Uppsala, Uppsala Universitetet, Filosofiska Föreningen Och Filosofiska Institutionen.
Partial Combinatory Algebras of Functions.Jaap van Oosten - 2011 - Notre Dame Journal of Formal Logic 52 (4):431-448.
Combinatory Reduction Systems.Jan Willem Klop - 1963 - Mathematisch Centrum.

Analytics

Added to PP index
2009-01-28

Total views
42 ( #271,707 of 2,517,908 )

Recent downloads (6 months)
1 ( #409,045 of 2,517,908 )

How can I increase my downloads?

Downloads

My notes