Equivalence between approaches to the theory of opetopes (2000)

by Eugenia Cheng