Christopher Dean : Publications
Click here to download all publications in a single bibtex file
@unpublished{arXiv:2005.14104v1, title = "Globular Multicategories with Homomorphism Types", author = "Christopher J. Dean", year = "2020", edition = "arxiv preprint", month = "May", url = "https://arxiv.org/abs/2005.14104", }