共 50 条
- [34] Nominal unification from a higher-order perspective [J]. REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2008, 5117 : 246 - +
- [35] Higher order factors in comprehension disability: Processes and remediation [J]. READING COMPREHENSION DIFFICULTIES: PROCESSES AND INTERVENTION, 1996, : 69 - 92
- [38] HIGHER-ORDER CORRECTIONS TO SEMILEPTONIC WEAK PROCESSES [J]. PHYSICAL REVIEW D, 1973, 7 (07) : 2225 - 2235
- [39] Characteristic bisimulation for higher-order session processes [J]. ACTA INFORMATICA, 2017, 54 (03) : 271 - 341
- [40] On Context Bisimulation for Parameterized Higher-order Processes [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (131): : 37 - 51