Intersection and union types

DOI10.1007/3-540-54415-1_69MaRDI QIDQ5096243zbMATH OpenOpenAlexFDO

Authors Franco Barbanera, Mariangiola Dezani-Ciancaglini

Publication date 16 August 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-54415-1_69

Mathematics Subject Classification ID

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

Recommendations

• Elaborating intersection and union types
• Elaborating intersection and union types
• Intersection and union types: Syntax and semantics
• Isomorphism of intersection and union types
• Intersection types and overloading
• Intersection types and computational rules
• Intersection types and domain operators
• Intersection types and termination properties
• The ``relevance of intersection and union types

Cites work

• scientific article; zbMATH DE number 3889502 (Why is no real title available?)
• scientific article; zbMATH DE number 3811535 (Why is no real title available?)
• scientific article; zbMATH DE number 4094791 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• A completeness theorem in modal logic
• A filter lambda model and the completeness of type assignment
• An ideal model for recursive polymorphic types
• Automatic synthesis of typed -programs on term algebras
• Characterization theorems for a filter lambda model
• Combinatory logic. With two sections by William Craig.
• Coppo-Dezani types do not correspond to propositional logic
• Domain theory in logical form
• Functional Characters of Solvable Terms
• Kripke-style models for typed lambda calculus
• The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
• The completeness theorem for typing lambda-terms
• The foundations of mathematics. A study in the philosophy of science
• The lambda calculus. Its syntax and semantics. Rev. ed.
• What is a model of the lambda calculus?

Cited in

(10)

• Verifying Whiley programs with Boogie
• Intersection type assignment systems
• The relevance of semantic subtyping
• Infinite intersection types
• Intersection types in Java: back to the future
• scientific article; zbMATH DE number 2080408 (Why is no real title available?)
• Disjoint intersection types
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• Type Fusion
• The ``relevance of intersection and union types

This page was built for publication: Intersection and union types

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