Intersection Logic in sequent calculus style - Simona Ronchi Della Rocca; Alexis Saurin; Yiorgos Stavrinos; Anastasia Veneti (ITRS, 2010)

Towards a Logic for Union Types. - Yiorgos Stavrinos; Anastasia Veneti (Fundam. Informaticae, 2012)