TY  - RPRT
TI  - On the Computation Power of Name Parameterization in Higher-order Processes
AU  - Xian Xu
AU  - Qiang Yin
AU  - Huan Long
PY  - 2015
DO  - 10.4204/eptcs.189.10
UR  - https://arxiv.org/abs/1508.04855
ID  - 1508.04855
ER  -