Introduction to Combinatory Logic
Cambridge [Eng.]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 | ||||||||||
| Buy the book | $17.21 used $184.34 new Amazon page | |||||||||
| Call number | QA9.H525 | |||||||||
| ISBN(s) | 0521096979 9780521096973 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
  Try with proxy. |
| 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.
Martin W. Bunder, J. Roger Hindley & Jonathan P. Seldin (1989). On Adding (Ξ) to Weak Equality in Combinatory Logic. Journal of Symbolic Logic 54 (2):590-607.
Ingemarie Bethke (1987). On the Existence of Extensional Partial Combinatory Algebras. Journal of Symbolic Logic 52 (3):819-833.
Katalin Bimbó (2012). Combinatory Logic: Pure, Applied, and Typed. Taylor & Francis.
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.
J. Roger Hindley (1986). Introduction to Combinators and [Lambda]-Calculus. Cambridge University Press.
Sören Stenlund (1971). Introduction to Combinatory Logic. Uppsala,Uppsala Universitetet, Filosofiska Föreningen Och Filosofiska Institutionen.
Haskell B. Curry (1958). Combinatory Logic. Amsterdam, North-Holland Pub. Co..
Katalin Bombó (2005). The Church-Rosser Property in Symmetric Combinatory Logic. Journal of Symbolic Logic 70 (2):536 - 556.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #201,781 of 549,007 )Recent downloads (6 months)1 ( #63,261 of 549,007 )How can I increase my downloads? |
My notes
Discussion
