| 释义 |
combinator|ˈkɒmbɪneɪtə(r)|
[n. of action in L. form, f. combīnāre to combine: see -or.]
1. = combiner. rare.
1611Speed Hist. Gt. Brit. ix. xxiv. (1632) 1157 The Combinators [were] many that stood for Reformation. 1838Fraser's Mag. XVII. 320 To hire patriots to slate recusant combinators at three shillings a-week.
2. Logic. Any one of the special operators in combinatory logic.
[1930H. B. Curry in Amer. Jrnl. Math. LII. 526 Unter einem Kombinator verstehen wir eine Kombination von B, C, W und K.] 1941― in Jrnl. Symbol. Logic VI. 54 (heading) Consistency and completeness of the theory of combinators. 1946Mind LV. 281 Part II is a systematic exposition of the logic of combinators as developed by Curry and Rosser. |