Infinite intersection types

DOI10.1016/S0890-5401(03)00143-3MaRDI QIDQ1887155zbMATH OpenOpenAlexFDO

Authors 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

transition systems\(\lambda\)-calculusScott domaininfinitary intersection type assignment

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2242600
• Infinite \(\lambda\)-calculus and types
• Intersection types for λGtz-calculus
• Intersection typed \(\lambda \)-calculus
• Intersection-types à la Church

Cites work

• scientific article; zbMATH DE number 3726420 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 1759417 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• A filter lambda model and the completeness of type assignment
• A new type assignment for λ-terms
• Completely Distributive Complete Lattices
• Domain theory in logical form
• Duality beyond sober spaces: Topological spaces and observation frames
• Intersection and union types
• Intersection and union types: Syntax and semantics
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Topological dualities in semantics
• Toward an infinitary logic of domains: Abramsky logic for transition systems

Cited in

(11)

• Infinite products of recursive equivalence types
• scientific article; zbMATH DE number 2242600 (Why is no real title available?)
• Full intersection types and topologies in lambda calculus
• Type preorders and recursive terms
• scientific article; zbMATH DE number 125894 (Why is no real title available?)
• Infinitary intersection types as sequences. A new answer to Klop's problem
• Untyped Recursion Schemes and Infinite Intersection Types
• scientific article; zbMATH DE number 1482191 (Why is no real title available?)
• Intersection types for unbind and rebind
• Every \(\lambda \)-term is meaningful for the infinitary relational model
• Intersection types and domain operators

This page was built for publication: Infinite intersection types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1887155)