# combinatory algebra in a sentence

- His research involves lambda calculus, type theory and
*combinatory algebra*. - Relevant attributes of the
*combinatory algebra* are: *Combinatory algebras* remain unable to act as the algebraic structure for ?-calculus, the lack of recursion being a major disadvantage.- A
*combinatory algebra* allows for the application operator and acts as a useful starting point but remains insufficient for the ?-calculus in being unable to express abstraction. - The ?-algebra describing the algebraic structure of the lambda-calculus is found to be an extension of the
*combinatory algebra*, with an element introduced to accommodate abstraction. - It's difficult to find
*combinatory algebra* in a sentence. - We must construct an algebra which allows for solutions to equations such as axy = xyy such that a = ? xy . xyy there is need for the
*combinatory algebra*. - His current interests include Probabilistic and Functional Complexity Classes,
*Combinatory Algebras* as a foundation to Theory of Computations, the interconnections of Cryptographic Techniques and Computational Complexity as well as Algorithms for Graph Problems.