• DML-CZ Home
• Higher Structures
• Volume 6

Author: Ho Thanh, Cédric

• Ho Thanh, Cédric; Leena Subramaniam, Chaitanya: Opetopic algebras I: Algebraic structures on opetopic sets. (English). Higher Structures, vol. 6 (2022), issue 1, pp. 311-358
• Curien, Pierre-Louis; Ho Thanh, Cédric; Mimram, Samuel: Type theoretical approaches to opetopes. (English). Higher Structures, vol. 6 (2022), issue 1, pp. 80-181