Algebraic models of simple type theories: A polynomial approach.

Nathanael Arkor, Marcelo Fiore

Browse the full LICS paper archive.