TY  - RPRT
TI  - Intersections and Unions of Session Types
AU  - Coşku Acay
AU  - Frank Pfenning
PY  - 2017
DO  - 10.4204/eptcs.242.3
UR  - https://arxiv.org/abs/1702.02272
ID  - 1702.02272
ER  -