• DML-CZ Home
• Higher Structures

Author: Curien, Pierre-Louis

• 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
• Curien, Pierre-Louis; Obradović, Jovana: A formal language for cyclic operads. (English). Higher Structures, vol. 1 (2017), issue 1, pp. 22-55