Infinite intersection types
type: Item
instance of: scholarly article
title: Infinite intersection types
zbMATH Open document ID: 1055.03012
DOI: 10.1016/S0890-5401(03)00143-3
author: Marcello M. Bonsangue
author: Joost N. Kok
published in: Information and Computation
publication date: 2004-11-23T00:00:00Z
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 2118420
zbMATH Keywords: \(\lambda\)-calculus
zbMATH Keywords: Scott domain
zbMATH Keywords: transition systems
zbMATH Keywords: infinitary intersection type assignment
MaRDI profile type: Publication
cites work: Domain theory in logical form
cites work: Q4843177
cites work: Intersection and union types
cites work: Intersection and union types: Syntax and semantics
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: A filter lambda model and the completeness of type assignment
cites work: Topological dualities in semantics
cites work: Duality beyond sober spaces: Topological spaces and observation frames
cites work: Toward an infinitary logic of domains: Abramsky logic for transition systems
cites work: A new type assignment for λ-terms
cites work: Q4536366
cites work: Q3915037
cites work: Q3965241
cites work: Completely Distributive Complete Lattices
cites work: Q3959414
full work available at URL: s0890-5401(03)00143-3
OpenAlex ID: W2056080126
description: scientific article; zbMATH DE number 2118420