Journal of Symbolic Logic 55 (2):656-669 (1990)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2274655
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,564
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Combinatory logic with polymorphic types.William R. Stirton - 2022 - Archive for Mathematical Logic 61 (3):317-343.

Add more citations

Similar books and articles

The Limits of Abstraction.Kit Fine - 2002 - Oxford, England: Oxford University Press.
Another Algorithm for Bracket Abstraction.D. A. Turner - 1979 - Journal of Symbolic Logic 44 (2):267-270.
Compact Bracket Abstraction in Combinatory Logic.Sabine Broda & Luís Damas - 1997 - Journal of Symbolic Logic 62 (3):729-740.
An Abstraction Algorithm for Combinatory Logic.S. Kamal Abdali - 1976 - Journal of Symbolic Logic 41 (1):222-224.
Can Machines Think? An Old Question Reformulated.Achim Hoffmann - 2010 - Minds and Machines 20 (2):203-212.

Analytics

Added to PP index
2009-01-28

Total views
36 ( #320,137 of 2,533,574 )

Recent downloads (6 months)
1 ( #390,861 of 2,533,574 )

How can I increase my downloads?

Downloads

My notes