Completeness and Soundness Results for 𝒳 with Intersection and Union Types

DOI10.3233/FI-2012-770zbMath1283.03034OpenAlexW2129488350MaRDI QIDQ4903713

Steffen van Bakel

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-770

zbMATH Keywords

sequent calculusintersection typesclassical logicunion types

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)

Related Items (2)

Semantic types and approximation for Featherweight Java ⋮ Functional Type Assignment for Featherweight Java

This page was built for publication: Completeness and Soundness Results for 𝒳 with Intersection and Union Types