TY  - RPRT
TI  - Higher-order Processes with Parameterization over Names and Processes
AU  - Xian Xu
PY  - 2016
DO  - 10.4204/eptcs.222.2
UR  - https://arxiv.org/abs/1608.03126
ID  - 1608.03126
ER  -