The Combinatory Programme
Erwin Engeler (ed.)
Birkhäuser (1995)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Combinatory logic | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Buy the book | $139.00 direct from Amazon Amazon page | |||||||||
| Call number | QA9.5.C66 1995 | |||||||||
| ISBN(s) | 0817638016 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| 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.
Andreas Knobel (1993). Constructive Set Theoretic Models of Typed Combinatory Logic. Journal of Symbolic Logic 58 (1):99-118.
Sabine Broda & Luís Damas (1997). Compact Bracket Abstraction in Combinatory Logic. Journal of Symbolic Logic 62 (3):729-740.
Katalin Bimbó (2012). Combinatory Logic: Pure, Applied, and Typed. Taylor & Francis.
Ingemarie Bethke (1987). On the Existence of Extensional Partial Combinatory Algebras. Journal of Symbolic Logic 52 (3):819-833.
J. W. Klop (1980). Combinatory Reduction Systems. Mathematisch Centrum.
Jaap van Oosten (2011). Partial Combinatory Algebras of Functions. Notre Dame Journal of Formal Logic 52 (4):431-448.
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
