Algebraic models of simple type theories: A polynomial approach. - Nathanael Arkor; Marcelo Fiore (LICS, 2020)

Abstract Clones for Abstract Syntax. - Nathanael Arkor; Dylan McDermott (FSCD, 2021)