「Combinatory」の共起表現一覧(1語右で並び替え)
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
