Towards a Logic for Union Types
Yiorgos Stavrinos, Anastasia Veneti · Fundamenta Informaticae · 2012
We examine a logical foundation for the intersection and union types assignment system (IUT). The proposed system is Intersection and Union Logic (IUL), an extension of Intersection Logic (IL) with the canonical rules for union. We investigate two di