「Combinatory」の共起表現一覧(1語右で並び替え)
該当件数 : 12件
| more generally, and can be defined both for | combinatory algebras and for lambda calculus proper, sp |
| ative Use of Gesture, Tense and Aspect, and | Combinatory Categorial Grammar (CCG). |
| Satisfactory axiomatic formulations of | combinatory logic were slow in coming. |
| In the 1930s, some formulations of | combinatory logic were found to be inconsistent. |
| Conversely, | combinatory logic and simply-typed lambda calculus are |
| Binary | combinatory logic (BCL) is a formulation of combinatory |
| Hindley, J. Roger, To H.B. Curry: Essays on | Combinatory Logic, Lambda Calculus and Formalism, Bosto |
| ested in Computational Musical Analysis and | Combinatory Logic. |
| s, and ( ) is the application operation, of | combinatory logic. |
| esian closed category and embedded into the | combinatory logic. |
| o discovered the Curry paradox, peculiar to | combinatory logic; |
| hematics of Sentence Structure to model the | combinatory possibilities of the syntax of natural lang |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
