TY  - RPRT
TI  - Characteristic Formulae for Session Types (extended version)
AU  - Julien Lange
AU  - Nobuko Yoshida
PY  - 2015
UR  - https://arxiv.org/abs/1510.06879
ID  - 1510.06879
ER  -