A Sequent Calculus for Opetopes.

Cdric Ho Thanh, Pierre-Louis Curien, Samuel Mimram

Browse the full LICS paper archive.