Algebraic models of simple type theories: a polynomial approach
Accepted version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Abstract
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 simple type theories include the unityped and
simply-typed