The completeness of combinatory logic with discriminators
Notre Dame Journal of Formal Logic 14 (3):323-330 (1973)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesJohn T. Kearns (1969). Combinatory Logic with Discriminators. Journal of Symbolic Logic 34 (4):561-575.
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.
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.
Haskell B. Curry (1958). Combinatory Logic. Amsterdam, North-Holland Pub. Co..
Kosta Došen (1996). Deductive Completeness. Bulletin of Symbolic Logic 2 (3):243-283.
David Ballard (1988). Combinatory Completeness Without Classical Equality. Journal of Philosophical Logic 17 (2):115 - 132.
Katalin Bimbó (2012). Combinatory Logic: Pure, Applied, and Typed. Taylor & Francis.
Katalin Bimbó (2004). Semantics for Dual and Symmetric Combinatory Calculi. Journal of Philosophical Logic 33 (2):125-153.
J. W. Klop (1980). Combinatory Reduction Systems. Mathematisch Centrum.
Andrea Cantini (2003). The Axiom of Choice and Combinatory Logic. Journal of Symbolic Logic 68 (4):1091-1108.
Ingemarie Bethke (1987). On the Existence of Extensional Partial Combinatory Algebras. Journal of Symbolic Logic 52 (3):819-833.
Frederic B. Fitch (1974). Elements of Combinatory Logic. New Haven,Yale University Press.
Sören Stenlund (1971). Introduction to Combinatory Logic. Uppsala,Uppsala Universitetet, Filosofiska Föreningen Och Filosofiska Institutionen.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads2 ( #232,211 of 548,972 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
