Towards a logic for union types

DOI10.3233/FI-2012-769MaRDI QIDQ4903724zbMATH OpenOpenAlexFDO

Authors Yiorgos Stavrinos, Anastasia Veneti

Publication date 24 January 2013

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2012-769

zbMATH Keywords

intersection and union typesintersection logicskitsmolecules

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Recommendations

• Intersection and union types: Syntax and semantics
• The ``relevance of intersection and union types
• scientific article; zbMATH DE number 1841834
• Intersection logic in sequent calculus style
• Logic and computation in a lambda calculus with intersection and union types

Cited in

(2)

• scientific article; zbMATH DE number 2080408 (Why is no real title available?)
• scientific article; zbMATH DE number 6820296 (Why is no real title available?)

This page was built for publication: Towards a logic for union types

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