TY  - RPRT
TI  - Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness
AU  - Dimitrios Kouzapas
AU  - Jorge A. Pérez
AU  - Nobuko Yoshida
PY  - 2015
UR  - https://arxiv.org/abs/1502.02585
ID  - 1502.02585
ER  -