An abstraction algorithm for combinatory logic

Journal of Symbolic Logic 41 (1):222-224 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272961

Links

PhilArchive



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

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

Compact Bracket Abstraction in Combinatory Logic.Sabine Broda & Luis Damas - 1997 - Journal of Symbolic Logic 62 (3):729-740.
Compact bracket abstraction in combinatory logic.Sabine Broda & Luís Damas - 1997 - Journal of Symbolic Logic 62 (3):729-740.
Expedited Broda-Damas Bracket Abstraction.M. W. Bunder - 2000 - Journal of Symbolic Logic 65 (4):1850-1857.
Abstraction in Fitch's Basic Logic.Eric Thomas Updike - 2012 - History and Philosophy of Logic 33 (3):215-243.
On adding (ξ) to weak equality in combinatory logic.Martin W. Bunder, J. Roger Hindley & Jonathan P. Seldin - 1989 - Journal of Symbolic Logic 54 (2):590-607.
The Church-Rosser property in symmetric combinatory logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536-556.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.
Combinatory logic.Haskell Brooks Curry - 1958 - Amsterdam,: North-Holland Pub. Co..
Introduction to combinatory logic.J. Roger Hindley - 1972 - Cambridge [Eng.]: University Press. Edited by B. Lercher & J. P. Seldin.
Analytic combinatory calculi and the elimination of transitivity.Pierluigi Minari - 2004 - Archive for Mathematical Logic 43 (2):159-191.
How to assign ordinal numbers to combinatory terms with polymorphic types.William R. Stirton - 2012 - Archive for Mathematical Logic 51 (5-6):475-501.
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 converse principal type-scheme theorem in lambda calculus.Sachio Hirokawa - 1992 - Studia Logica 51 (1):83 - 95.
Elements of combinatory logic.Frederic Brenton Fitch - 1974 - New Haven,: Yale University Press.
Typing in reflective combinatory logic.Nikolai Krupski - 2006 - Annals of Pure and Applied Logic 141 (1):243-256.

Analytics

Added to PP
2009-01-28

Downloads
58 (#265,779)

6 months
12 (#178,599)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Contra Buridanum.Allen Hazen - 1987 - Canadian Journal of Philosophy 17 (4):875 - 880.

Add more citations

References found in this work

No references found.

Add more references