Acay, Pfenning, 2017. Intersections and Unions of Session Types 242.. https://doi.org/10.4204/eptcs.242.3