@Inproceedings{EPTCS242.3, author = {Acay, Co\c{s}ku and Pfenning, Frank}, year = {2017}, title = {Intersections and Unions of Session Types}, editor = {Kobayashi, Naoki}, booktitle = {{\rm Proceedings Eighth Workshop on} Intersection Types and Related Systems, {\rm Porto, Portugal, 26th June 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {242}, publisher = {Open Publishing Association}, pages = {4-19}, doi = {10.4204/EPTCS.242.3}, }