A filter lambda model and the completeness of type assignment
type: Item
instance of: scholarly article
title: A filter lambda model and the completeness of type assignment
zbMATH Open document ID: 0545.03004
DOI: 10.2307/2273659
author: Mario Coppo
author: Mariangiola Dezani-Ciancaglini
author: Henk Barendregt
published in: Journal of Symbolic Logic
publication date: 1983-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 3867290
zbMATH Keywords: lambda terms
zbMATH Keywords: typing
zbMATH Keywords: lambda calculus
zbMATH Keywords: semantics
zbMATH Keywords: type assignment
zbMATH Keywords: filter of types
zbMATH Keywords: completeness
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2307/2273659
OpenAlex ID: W1970227944
cites work: Functional Characters of Solvable Terms
cites work: Q4692942
cites work: Lambda‐Calculus Models and Extensionality
cites work: Q5559220
description: scientific article