Journal of Symbolic Logic 38 (3):441-445 (1973)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2273041
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: 71,464
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Skew Confluence and the Lambda Calculus with Letrec.Zena M. Ariola & Stefan Blom - 2002 - Annals of Pure and Applied Logic 117 (1-3):95-168.
Normal Forms in Combinatory Logic.Patricia Johann - 1994 - Notre Dame Journal of Formal Logic 35 (4):573-594.
A Problem of Normal Form in Natural Deduction.Jan von Plato - 2000 - Mathematical Logic Quarterly 46 (1):121-124.
Minimal Forms in Λ-Calculus Computations.Corrado Böhm & Silvio Micali - 1980 - Journal of Symbolic Logic 45 (1):165-171.
On the Interpretation of Terms Without a Normal Form.H. P. Barendregt - 1971 - Utrecht, Electronisch Raekencentrum Rijksuniversiteit Utrecht (Budapestlaan 6).
Storage Operators and Directed Lambda-Calculus.René David & Karim Nour - 1995 - Journal of Symbolic Logic 60 (4):1054-1086.
Q -Measures on Q Κ Λ.Guohua Wu - 2003 - Archive for Mathematical Logic 42 (2):201-204.
The Basis Decision Problem in Λ‐Calculus.Benedetto Intrigila - 1993 - Mathematical Logic Quarterly 39 (1):178-180.
On Normal Forms in Łukasiewicz Logic.A. Di Nola & A. Lettieri - 2004 - Archive for Mathematical Logic 43 (6):795-823.
Varieties of Linear Calculi.Sara Negri - 2002 - Journal of Philosophical Logic 31 (6):569-590.
Types of I -Free Hereditary Right Maximal Terms.Katalin Bimbó - 2005 - Journal of Philosophical Logic 34 (5/6):607 - 620.

Analytics

Added to PP index
2009-01-28

Total views
221 ( #52,234 of 2,520,787 )

Recent downloads (6 months)
1 ( #405,623 of 2,520,787 )

How can I increase my downloads?

Downloads

My notes