TY  - RPRT
TI  - Linearly Refined Session Types
AU  - Pedro Baltazar
AU  - Dimitris Mostrous
AU  - Vasco T. Vasconcelos
PY  - 2012
DO  - 10.4204/eptcs.101.4
UR  - https://arxiv.org/abs/1211.4099
ID  - 1211.4099
ER  -