Globular multicategories with homomorphism types (University of Oxford, 2022)

(untitled) - Dean, CJ