### Papers

- Algebraic models of simple type theories: a polynomial approach (with Marcelo Fiore), Accepted for LICS 2020, Preprint available shortly

### Talks

- Algebraic simple type theory: a polynomial approach (with Marcelo Fiore), Category Theory 2019, Slides