Nathanael Arkor

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

Papers

Talks