共 50 条
- [31] BHABHA SCATTERING WITH HIGHER-ORDER WEAK LOOP CORRECTIONS ZEITSCHRIFT FUR PHYSIK C-PARTICLES AND FIELDS, 1991, 49 (03): : 485 - 490
- [34] On Decidability of the Bisimilarity on Higher-order Processes with Parameterization* ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (339): : 76 - 92
- [35] Higher-Order Electrocyclizations in Biological and Synthetic Processes CHEMPLUSCHEM, 2023, 88 (11):
- [38] On the Relative Expressiveness of Higher-Order Session Processes PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016), 2016, 9632 : 446 - 475