Introduction to Combinatory Logic
Uppsala,Uppsala Universitetet, Filosofiska Föreningen Och Filosofiska Institutionen (1971)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Combinatory logic | |||||||||
| Categories | ||||||||||
| Call number | BC135.S69 1971 | |||||||||
| ISBN(s) | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesFrederic B. Fitch (1974). Elements of Combinatory Logic. New Haven,Yale University Press.
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 (1986). Introduction to Combinators and [Lambda]-Calculus. Cambridge University Press.
Katalin Bombó (2005). The Church-Rosser Property in Symmetric Combinatory Logic. Journal of Symbolic Logic 70 (2):536 - 556.
J. Roger Hindley (1972). Introduction to Combinatory Logic. Cambridge [Eng.]University Press.
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
