Nathanael Arkor

nathanael.arkorcl.cam.ac.uk

PhD student studying Type Theory & Category Theory under Prof. Marcelo Fiore at the University of Cambridge

Papers

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

Talks

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