Christopher Dean

Christopher Dean
Doctoral Student
Student, St Hugh's College
E: Christopher.Dean@cs.ox.ac.uk
Wolfson Building, Parks Road, Oxford OX1 3QD
Interests
My current work focuses on the foundations of higher category theory including applications to type theory and homotopy theory.
Selected Publications
-
Globular Multicategories with Homomorphism Types
Christopher J. Dean
May, 2020.
Details about Globular Multicategories with Homomorphism Types | BibTeX data for Globular Multicategories with Homomorphism Types | Link to Globular Multicategories with Homomorphism Types