GOAD
发表于 2025-4-1 04:39:16
Categorial Grammar, reasons: (1) it is a fairly adequate grammar for logical and mathematical languages, and (2) it is related, in certain respects, to some logical theories, viz. to types (q.v.) theory and to combinatory logic (see “Lambda-operator” and “Combinatory Logic”).
哄骗
发表于 2025-4-1 07:16:27
http://reply.papertrans.cn/28/2711/271070/271070_62.png
generic
发表于 2025-4-1 11:44:38
Combinatory Logic,o introduced the term ‘lambda calculus’. Further contributions come from C. Böhm, R. Feys, F.B. Fitch (cf. references in “Formalization”), J.B. Rosser, and others. It is a first-order theory with one two-argument function as primitive. This function, called ., is usually denoted by parentheses only
anthesis
发表于 2025-4-1 14:42:45
http://reply.papertrans.cn/28/2711/271070/271070_64.png