Algebraic models of simple type theories: a polynomial approach

Nathanael Arkor, Marcelo Fiore

We develop algebraic models of simple type theories, laying out a framework that extends universal algebra to incorporate both algebraic sorting and variable binding. Examples of s…