Numeration Models of λβ‐Calculus

Mathematical Logic Quarterly 32 (25‐30):409-414 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19860322506

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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 - 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 - Mathematical Logic Quarterly 31 (14-18):209-220.
Classes of Numeration Models of λ‐Calculus.Akira Kanda - 1986 - Mathematical Logic Quarterly 32 (19‐24):315-322.
Review: Akira Kanda, Recursion Theorems and Effective Domains. [REVIEW]Dag Normann - 1991 - Journal of Symbolic Logic 56 (1):335-335.
Church‐Rosser Property for Some Extensions of λβ‐Reducibility Relation.Andrei A. Kuzichev - 1991 - Mathematical Logic Quarterly 37 (33-35):547-559.
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.
Constructive Methods of Numeration.Arthur H. Kruse - 1962 - Mathematical Logic Quarterly 8 (1):57-70.
Church‐Rosser Property for Some Extensions of λβ‐Reducibility Relation.Andrei A. Kuzichev - 1991 - Mathematical Logic Quarterly 37 (33‐35):547-559.
Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19-21):289-310.

Analytics

Added to PP
2013-12-01

Downloads
27 (#577,964)

6 months
7 (#592,073)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Retracts of numerations.Akira Kanda - 1989 - Annals of Pure and Applied Logic 42 (3):225-242.

Add more citations

References found in this work

The Calculi of Lambda-conversion.Alonzo Church - 1985 - Princeton, NJ, USA: Princeton University Press.

Add more references