Combinatory Reduction Systems
Mathematisch Centrum (1980)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Combinatory logic Lambda calculus Recursive programming | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Buy the book | $121.32 used Amazon page | |||||||||
| Call number | QA9.5.K56 | |||||||||
| ISBN(s) | 9061962005 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesC. Böhm (ed.) (1975). [Lambda]-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome, March 25-27, 1975. Springer-Verlag.
M. W. Bunder (1988). Arithmetic Based on the Church Numerals in Illative Combinatory Logic. Studia Logica 47 (2):129 - 143.
J. Roger Hindley (1972). Introduction to Combinatory Logic. Cambridge [Eng.]University Press.
Chris Hankin (1994). Lambda Calculi: A Guide for the Perplexed. Oxford University Press.
Wil Dekkers, Martin Bunder & Henk Barendregt (1998). Completeness of the Propositions-as-Types Interpretation of Intuitionistic Logic Into Illative Combinatory Logic. Journal of Symbolic Logic 63 (3):869-890.
Henk Barendregt, Martin Bunder & Wil Dekkers (1993). Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus. Journal of Symbolic Logic 58 (3):769-788.
Katalin Bombó (2005). The Church-Rosser Property in Symmetric Combinatory Logic. Journal of Symbolic Logic 70 (2):536 - 556.
György E. Révész (1988). Lambda-Calculus, Combinators, and Functional Programming. Cambridge University Press.
Sabine Broda & Luís Damas (1997). Compact Bracket Abstraction in Combinatory Logic. Journal of Symbolic Logic 62 (3):729-740.
J. Roger Hindley (1986). Introduction to Combinators and [Lambda]-Calculus. Cambridge 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
