TY  - RPRT
TI  - Algebraic models of simple type theories: a polynomial approach
AU  - Nathanael Arkor
AU  - Marcelo Fiore
PY  - 2020
DO  - 10.1145/3373718.3394771
UR  - https://arxiv.org/abs/2006.16949
ID  - 2006.16949
ER  -