“combinator”的英文意思_释义_用法

单词

combinator

释义

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.

英语词典包含277258条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。

相关内容：

“combinator”的英文意思

“检音计”英文翻译

“检控的”英文翻译

“comfortableness”的英文意思

“检查”英文翻译

“commaunde”的英文意思

相关推荐