A Simplification of the Theory of Combinators

Synthese 7 (6-A):391 - 399 (1948)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,168

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Consistency and completeness of the theory of combinators.Haskell B. Curry - 1941 - Journal of Symbolic Logic 6 (2):54-61.
Variable-free formalization of the Curry-Howard theory.William Tait - manuscript
The church-Rosser property in dual combinatory logic.Katalin Bimbó - 2003 - Journal of Symbolic Logic 68 (1):132-152.
Prover9's Simplification Explained Away.Paweł Garbacz - 2012 - Australasian Journal of Philosophy 90 (3):585 - 592.
Investigation into combinatory systems with dual combinators.Katalin Bimbó - 2000 - Studia Logica 66 (2):285-296.
Extending the first-order theory of combinators with self-referential truth.Andrea Cantini - 1993 - Journal of Symbolic Logic 58 (2):477-513.
Systems of illative combinatory logic complete for first-order propositional and predicate calculus.Henk Barendregt, Martin Bunder & Wil Dekkers - 1993 - Journal of Symbolic Logic 58 (3):769-788.
Some results on combinators in the system TRC.Thomas Jech - 1999 - Journal of Symbolic Logic 64 (4):1811-1819.
Alpha-conversion, conditions on variables and categorical logic.Pierre-Louis Curien - 1989 - Studia Logica 48 (3):319 - 360.
Combinator logics.Lou Goble - 2004 - Studia Logica 76 (1):17 - 66.
Quantification without variables in connectionism.John A. Barnden & Kankanahalli Srinivas - 1996 - Minds and Machines 6 (2):173-201.
Combinators, 2-terms and proof theory.Sören Stenlund - 1972 - Dordrecht,: D. Reidel.
Parser Combinators for Extraction.Recognizing Power - unknown
Parser combinators for extraction.Jan van Eijck - unknown

Analytics

Added to PP
2011-05-29

Downloads
21 (#740,450)

6 months
1 (#1,475,915)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The elimination theorem when modality is present.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (4):249-265.

Add more citations

References found in this work

No references found.

Add more references