### Papers

- Algebraic models of simple type theories: a polynomial approach (with Marcelo Fiore), LICS 2020, DOI, arXiv

### Talks

- Algebraic models of simple type theories: a polynomial approach (with Marcelo Fiore), LICS 2020, Recording, Slides
- Algebraic simple type theory: a polynomial approach (with Marcelo Fiore), Category Theory 2019, Slides