Modified basic functionality in combinatory logic

Dialectica 23 (2):83-92 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1111/j.1746-8361.1969.tb01183.x

Links

PhilArchive



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

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..
Introduction to Combinators and (Lambda) Calculus.J. Roger Hindley - 1986 - New York: Cambridge University Press. Edited by 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, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, A. Robinson, Basic Verifiability in the Combinatory Theory of Restricted Generality. [REVIEW]Richard J. Orgass - 1970 - Journal of Symbolic Logic 35 (3):469-470.
Introduction to combinatory logic.J. Roger Hindley - 1972 - Cambridge [Eng.]: University Press. Edited by B. Lercher & J. P. Seldin.
On the existence of extensional partial combinatory algebras.Ingemarie Bethke - 1987 - Journal of Symbolic Logic 52 (3):819-833.
Modified strong reduction in combinatory logic.Kenneth Loewen - 1968 - Notre Dame Journal of Formal Logic 9 (3):265-270.
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.
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.
The consistency of a system of combinatory restricted generality.Haskell B. Curry - 1973 - Journal of Symbolic Logic 38 (3):489-492.
Abstraction in Fitch's Basic Logic.Eric Thomas Updike - 2012 - History and Philosophy of Logic 33 (3):215-243.
Combinatory Logic: Pure, Applied and Typed.Katalin Bimbó - 2011 - Taylor & Francis.

Analytics

Added to PP
2013-11-21

Downloads
18 (#811,325)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Principal type-schemes and condensed detachment.J. Roger Hindley & David Meredith - 1990 - Journal of Symbolic Logic 55 (1):90-105.
Functional Characters of Solvable Terms.M. Coppo, M. Dezani-Ciancaglini & B. Venneri - 1981 - Mathematical Logic Quarterly 27 (2‐6):45-58.
Functional Characters of Solvable Terms.M. Coppo, M. Dezani-Ciancaglini & B. Venneri - 1981 - Mathematical Logic Quarterly 27 (2-6):45-58.
G_‐Stratification is Equivalent to _F‐Stratification.C. B. Ben-Yelles - 1981 - Mathematical Logic Quarterly 27 (8-10):141-150.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references