Combinatory Logic

Journal of Symbolic Logic 32 (2):267-268 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271690

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,435

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

Combinatory logic.Haskell Brooks Curry - 1958 - Amsterdam,: North-Holland Pub. Co..
Combinatory logic. Haskell B. Curry, J. Roger Hindley, and Jonathan P. Seldin. Combinatory logic. Volume II. Studies in logic and the foundations of mathematics, vol. 65. North-Holland Publishing Company, Amsterdam and London 1972, XIV + 520 pp. [REVIEW]Henk Barendregt - 1977 - Journal of Symbolic Logic 42 (1):109-110.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.
Introduction to combinatory logic.J. Roger Hindley - 1972 - Cambridge [Eng.]: University Press. Edited by B. Lercher & J. P. Seldin.
The Church-Rosser property in symmetric combinatory logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536-556.
Review: Haskell B. Curry, A Revision of the Fundamental Rules of Combinatory Logic; Haskell B. Curry, Consistency and Completeness of the Theory of Combinators. [REVIEW]Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (4):170-170.
To H.B. Curry: essays on combinatory logic, lambda calculus, and formalism.Haskell B. Curry, J. Roger Hindley & J. P. Seldin (eds.) - 1980 - New York: Academic Press.
A Revision of the Fundamental Rules of Combinatory Logic.Haskell B. Curry - 1941 - Journal of Symbolic Logic 6 (4):170-170.
The Combinatory Foundations of Mathematical Logic.Haskell B. Curry - 1943 - Journal of Symbolic Logic 8 (1):31-31.
The combinatory foundations of mathematical logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (2):49-64.
A revision of the fundamental rules of combinatory logic.Haskell B. Curry - 1941 - Journal of Symbolic Logic 6 (2):41-53.
Review: Haskell B. Curry, Combinatory Logic. [REVIEW]J. Barkley Rosser - 1967 - Journal of Symbolic Logic 32 (2):267-268.
Combinatory Logic.Haskell B. Curry, J. Roger Hindley & Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):109-110.
Curry Haskell B.. The combinatory foundations of mathematical logic.Barkley Rosser - 1943 - Journal of Symbolic Logic 8 (1):31-31.
Analytic combinatory calculi and the elimination of transitivity.Pierluigi Minari - 2004 - Archive for Mathematical Logic 43 (2):159-191.

Analytics

Added to PP
2017-02-21

Downloads
15 (#934,326)

6 months
1 (#1,491,286)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Antinomy of the Variable: A Tarskian Resolution.Bryan Pickel & Brian Rabern - 2016 - Journal of Philosophy 113 (3):137-170.
Gapping as constituent coordination.Mark J. Steedman - 1990 - Linguistics and Philosophy 13 (2):207 - 263.
Scope and binding.Anna Szabolcsi - 2011 - In von Heusinger, Maienborn & Portner (eds.), Semantics: An International Handbook of Natural Language Meaning, Vol. 2. de Gruyter Mouton.
Typed lambda calculus.Henk P. Barendregt, Wil Dekkers & Richard Statman - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 1091--1132.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references