TY - RPRT TI - Session Types as Generic Process Types AU - Simon J. Gay AU - Nils Gesbert AU - António Ravara PY - 2014 DO - 10.4204/eptcs.160.9 UR - https://arxiv.org/abs/1408.1459 ID - 1408.1459 ER -