# combinatories in a sentence

- He is also interested in Computational Musical Analysis and
*Combinatory* Logic. - His research involves lambda calculus, type theory and
*combinatory* algebra. *Combinatory* logic is the foundation for one style of functional programming language.- Hence
*combinatory* logic has been used to model some hardware. - Haskell Curry studied of illative ( deductive )
*combinatory* logic in 1941. - It's difficult to find
*combinatories* in a sentence. *Combinatory* logic can be given a variety of interpretations.- Proofs in the Hilbert system then correspond to combinator terms in
*combinatory* logic. - Relevant attributes of the
*combinatory* algebra are: - Closed lambda expressions are also known as combinators and are equivalent to terms in
*combinatory* logic. - Dana Scott in the 1960s and 1970s showed how to marry model theory and
*combinatory* logic. - Steedman currently holds the Chair of Cognitive Science in the
*Combinatory* Categorial Grammar ( CCG ). *Combinatory* logic is closely related to lambda calculus, and the same paradoxes exist in each.- Jaskell also brings with higher-order functions, function currying, and different
*combinatory* supports. - Formal calculi such as the lambda calculus and
*combinatory* logic are now studied as idealized programming languages. - Conversely,
*combinatory* logic and simply typed lambda calculus are not the only models of computation, either.