Clone Theory and Application

We introduce genads, a minimal equational structure for substitution and variable binding. Locally finite genads are equivalent to abstract clones, Lawvere theories, and locally finite clones.

We develop a comprehensive algebraic theory of lambda calculus through the concept of lambda clones--algebraic structures combining clone theory with lambda abstraction.