Elements of Combinatory Logic
New Haven,Yale University Press (1974)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Combinatory logic | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Buy the book | $35.18 used $575.88 new Amazon page | |||||||||
| Call number | QA9.5.F57 1974 | |||||||||
| ISBN(s) | 0300015232 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesAndreas Knobel (1993). Constructive Set Theoretic Models of Typed Combinatory Logic. Journal of Symbolic Logic 58 (1):99-118.
Sören Stenlund (1971). Introduction to Combinatory Logic. Uppsala,Uppsala Universitetet, Filosofiska Föreningen Och Filosofiska Institutionen.
Ingemarie Bethke (1987). On the Existence of Extensional Partial Combinatory Algebras. Journal of Symbolic Logic 52 (3):819-833.
Andrea Cantini (2003). The Axiom of Choice and Combinatory Logic. Journal of Symbolic Logic 68 (4):1091-1108.
J. W. Klop (1980). Combinatory Reduction Systems. Mathematisch Centrum.
Katalin Bimbó (2012). Combinatory Logic: Pure, Applied, and Typed. Taylor & Francis.
Haskell B. Curry (1958). Combinatory Logic. Amsterdam, North-Holland Pub. Co..
J. Roger Hindley (1972). Introduction to Combinatory Logic. Cambridge [Eng.]University Press.
Katalin Bombó (2005). The Church-Rosser Property in Symmetric Combinatory Logic. Journal of Symbolic Logic 70 (2):536 - 556.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
