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