共 50 条
- [2] COMPLEXITY OF REDUCTION IN COMBINATORY LOGIC RAIRO-INFORMATIQUE THEORIQUE-THEORETICAL COMPUTER SCIENCE, 1978, 12 (04): : 339 - 367
- [6] EFFICIENT COMBINATORY REDUCTION ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1981, 27 (05): : 391 - 402
- [10] Infinitary combinatory reduction systems: Normalising reduction strategies Logical Methods in Computer Science, 2010, 6