Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1002/malq.19860321904
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,607
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Calculi of Lambda-Conversion.Alonzo Church - 1941 - Princeton, NJ, USA: Princeton University Press.
Typed Lambda Calculus.Henk P. Barendregt, Wil Dekkers & Richard Statman - 1977 - In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 1091--1132.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Classes of Numeration Models of Λ‐Calculus.Akira Kanda - 1986 - Mathematical Logic Quarterly 32 (19‐24):315-322.
Numeration Models of Λβ‐Calculus.Akira Kanda - 1986 - Mathematical Logic Quarterly 32 (25‐30):409-414.
Numeration Models of Λ‐Calculus.Akira Kanda - 1985 - Mathematical Logic Quarterly 31 (14‐18):209-220.
Numeration Models of Λ-Calculus.Akira Kanda - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (14-18):209-220.
Numeration Models of Λβ-Calculus.Akira Kanda - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (25-30):409-414.
Recursiveness of Ω‐Operations.Victor L. Selivanov - 1994 - Mathematical Logic Quarterly 40 (2):204-206.
A Brief Survey of Frames for the Lambek Calculus.Kosta Došen - 1992 - Mathematical Logic Quarterly 38 (1):179-187.
Models for the Lambek Calculus.Mati Pentus - 1995 - Annals of Pure and Applied Logic 75 (1-2):179-213.
Probability: A New Logico-Semantical Approach. [REVIEW]Christina Schneider - 1994 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 25 (1):107 - 124.
Toward Categoricity for Classes with No Maximal Models.Saharon Shelah & Andrés Villaveces - 1999 - Annals of Pure and Applied Logic 97 (1-3):1-25.

Analytics

Added to PP index
2015-12-02

Total views
24 ( #478,287 of 2,533,645 )

Recent downloads (6 months)
1 ( #389,210 of 2,533,645 )

How can I increase my downloads?

Downloads

My notes