Abstract clones for abstract syntax

Nathanael Arkor, Dylan McDermott

We give a formal treatment of simple type theories, such as the simply-typed $\lambda$-calculus, using the framework of abstract clones. Abstract clones traditionally describe first-orde…