Classes of Numeration Models of λ‐Calculus

Mathematical Logic Quarterly 32 (19‐24):315-322 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19860321904

Other Versions

reprint Kanda, Akira (1986) "Classes of Numeration Models of λ-Calculus". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32(19-24):315-322

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,667

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

Numeration Models of λ‐Calculus.Akira Kanda - 1985 - Mathematical Logic Quarterly 31 (14-18):209-220.
Numeration Models of λβ‐Calculus.Akira Kanda - 1986 - Mathematical Logic Quarterly 32 (25-30):409-414.
The Standardization Theorem for λ‐Calculus.Gerd Mitschke - 1979 - Mathematical Logic Quarterly 25 (1-2):29-31.
Building prime models in fully good abstract elementary classes.Sebastien Vasey - 2017 - Mathematical Logic Quarterly 63 (3-4):193-201.
Akira Kanda. Recursion theorems and effective domains. Annals of pure and applied logic, vol. 38 , pp. 289–300.Dag Normann - 1991 - Journal of Symbolic Logic 56 (1):335.
Positive Frege and its Scott‐style semantics.Thierry Libert - 2008 - Mathematical Logic Quarterly 54 (4):410-434.
Constructive Methods of Numeration.Arthur H. Kruse - 1962 - Mathematical Logic Quarterly 8 (1):57-70.
Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19-21):289-310.
On a paper of akira nakamura.R. A. Bull - 1969 - Mathematical Logic Quarterly 15 (7‐12):155-156.

Analytics

Added to PP
2013-12-01

Downloads
29 (#780,663)

6 months
6 (#879,768)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The Calculi of Lambda-conversion.Alonzo Church - 1985 - Princeton, NJ, USA: Princeton University Press.
Typed lambda calculus.Henk P. Barendregt, Wil Dekkers & Richard Statman - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 1091--1132.

Add more references