A Sequent Calculus for Opetopes

Thanh, CH; Curien, PL; Mimram, S

Thanh, CH (reprint author), Univ Paris, IRIF, Paris, France.

2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019; ():

Abstract

Opetopes are algebraic descriptions of shapes corresponding to compositions in higher dimensions. As such, they offer an approach to higher-dimensiona......

Full Text Link