Intersection and union types

DOI10.1007/3-540-54415-1_69zbMATH Open1493.68080OpenAlexW1501258188MaRDI QIDQ5096243FDOQ5096243

Mariangiola Dezani-Ciancaglini, Franco Barbanera

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

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

Mathematics Subject Classification ID

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

Cites Work

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

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
• Title not available (Why is that?)
• 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)