Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms

Annals of Pure and Applied Logic 24 (2):153 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(83)90030-1

Other Versions

No versions found

Links

PhilArchive



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

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

Normal functors, power series and lambda-calculus.Jean-Yves Girard - 1988 - Annals of Pure and Applied Logic 37 (2):129.
Bi-colored expansions of geometric theories.S. Jalili, M. Pourmahdian & M. Khani - 2025 - Annals of Pure and Applied Logic 176 (2):103525.
Kripke-style models for typed lambda calculus.John C. Mitchell & Eugenio Moggi - 1991 - Annals of Pure and Applied Logic 51 (1-2):99-124.
A strong normalization result for classical logic.Franco Barbanera & Stefano Berardi - 1995 - Annals of Pure and Applied Logic 76 (2):99-116.
Inductive types and type constraints in the second-order lambda calculus.Nax Paul Mendler - 1991 - Annals of Pure and Applied Logic 51 (1-2):159-172.
On the semantics of the universal quantifier.Djordje Ubri - 1997 - Annals of Pure and Applied Logic 87 (3):209-239.
On the semantics of the universal quantifier.Djordje Čubrić - 1997 - Annals of Pure and Applied Logic 87 (3):209-239.
Club isomorphisms on higher Aronszajn trees.John Krueger - 2018 - Annals of Pure and Applied Logic 169 (10):1044-1081.
Weak typed Böhm theorem on IMLL.Satoshi Matsuoka - 2007 - Annals of Pure and Applied Logic 145 (1):37-90.

Analytics

Added to PP
2014-01-16

Downloads
39 (#578,130)

6 months
6 (#862,561)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Giuseppe Longo
École Normale Supérieure

Citations of this work

Semantics for dual and symmetric combinatory calculi.Katalin Bimbó - 2004 - Journal of Philosophical Logic 33 (2):125-153.
Numeration Models of λβ‐Calculus.Akira Kanda - 1986 - Mathematical Logic Quarterly 32 (25-30):409-414.
On church's formal theory of functions and functionals.Giuseppe Longo - 1988 - Annals of Pure and Applied Logic 40 (2):93-133.
Finite type structures within combinatory algebras.Inge Bethke - 1991 - Annals of Pure and Applied Logic 55 (2):101-123.

View all 9 citations / Add more citations

References found in this work

The |lambda-Calculus.H. P. Barendregt - 1981 - Philosophical Review 97 (1):132-137.
Lambda‐Calculus Models and Extensionality.R. Hindley & G. Longo - 1980 - Mathematical Logic Quarterly 26 (19-21):289-310.

Add more references