Christopher Dean : Publications
Miscellaneous
-
[1]
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