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: 92,497

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.
Classes of Numeration Models of λ‐Calculus.Akira Kanda - 1986 - Mathematical Logic Quarterly 32 (19‐24):315-322.
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.
Remarks on Uniformly Finitely Precomplete Positive Equivalences.V. Yu Shavrukov - 1996 - Mathematical Logic Quarterly 42 (1):67-82.
The lambda calculus: its syntax and semantics.Hendrik Pieter Barendregt - 1981 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Lambek calculus and its relational semantics: Completeness and incompleteness. [REVIEW]Hajnal Andréka & Szabolcs Mikulás - 1994 - Journal of Logic, Language and Information 3 (1):1-37.
Acceptable Numerations of Morphisms and Myhill‐Shepherdson Property.Akira Kanda - 1995 - Mathematical Logic Quarterly 41 (1):39-48.
On Minimal Models for Pure Calculi of Names.Piotr Kulicki - 2013 - Logic and Logical Philosophy 22 (4):429–443.
Isomorphism and equational equivalence of continuous λ-models.Rainer Kerth - 1998 - Studia Logica 61 (3):403-415.
An Axiomatisation of a Pure Calculus of Names.Piotr Kulicki - 2012 - Studia Logica 100 (5):921-946.
Intensional models for the theory of types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
Review: V. A. Jankov, On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus. [REVIEW]J. G. Anderson - 1973 - Journal of Symbolic Logic 38 (2):331-332.
A brief survey of frames for the Lambek calculus.Kosta Došen - 1992 - Mathematical Logic Quarterly 38 (1):179-187.
Ancestral Kripke models and nonhereditary Kripke models for the Heyting propositional calculus.Kosta Došen - 1991 - Notre Dame Journal of Formal Logic 32 (4):580-597.

Analytics

Added to PP
2013-12-01

Downloads
27 (#594,564)

6 months
8 (#373,162)

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