共 50 条
- [43] Clones, closed categories, and combinatory logic FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PT II, FOSSACS 2024, 2024, 14575 : 160 - 181
- [44] OTTER experiments in a system of combinatory logic 1600, Kluwer Academic Publishers, Dordrecht, Netherlands (14):
- [46] Consistency and axiomatization of a natural extensional combinatory logic Sci China Ser A, 9 (897):
- [49] Polytime, combinatory logic and positive safe induction Archive for Mathematical Logic, 2002, 41 : 169 - 189