Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
type: Item
instance of: scholarly article
title: Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
zbMATH Open document ID: 0513.03009
DOI: 10.1016/0168-0072(83)90030-1
published in: Annals of Pure and Applied Logic
publication date: 1983-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03C65
zbMATH DE Number: 3809529
zbMATH Keywords: lambda-calculus
zbMATH Keywords: combinatory logic
zbMATH Keywords: models
MaRDI profile type: Publication
full work available at URL: 0168-0072(83)90030-1
OpenAlex ID: W2070032247
cites work: The lambda calculus, its syntax and semantics
cites work: Q3206926
cites work: A filter lambda model and the completeness of type assignment
cites work: On combinatory algebras and their expansions
cites work: Q3221961
cites work: Q5565113
cites work: Algebras and combinators
cites work: Lambda‐Calculus Models and Extensionality
cites work: Q3922646
cites work: Q4101795
cites work: Q5573961
cites work: Q5649639
cites work: Data Types as Lattices
cites work: Q3661543
cites work: The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
author: Giuseppe Longo
description: scientific article; zbMATH DE number 3809529