Infinite intersection types

DOI10.1016/S0890-5401(03)00143-3zbMath1055.03012OpenAlexW2056080126MaRDI QIDQ1887155

Marcello M. Bonsangue, Joost N. Kok

Publication date: 23 November 2004

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0890-5401(03)00143-3

zbMATH Keywords

\(\lambda\)-calculustransition systemsScott domaininfinitary intersection type assignment

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Cites Work

• Duality beyond sober spaces: Topological spaces and observation frames
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Domain theory in logical form
• Topological dualities in semantics
• Toward an infinitary logic of domains: Abramsky logic for transition systems
• Intersection and union types: Syntax and semantics
• A new type assignment for λ-terms
• A filter lambda model and the completeness of type assignment
• Intersection and union types
• Completely Distributive Complete Lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Infinite intersection types