Parameterizing higher-order processes on names and processesXian XuRAIRO-Theor. Inf. Appl., 53 3-4 (2019) 153-206DOI: https://doi.org/10.1051/ita/2019005
