Super Exponentials in Linear Logic. - Esaïe Bauer; Olivier Laurent 001 (Linearity&TLLA@IJCAR-FSCD, 2020)

On the cut-elimination of the modal μ-calculus: Linear Logic to the rescue. - Esaïe Bauer; Alexis Saurin (FoSSaCS, 2025)

A uniform cut-elimination theorem for linear logics with fixed points and super exponentials. - Esaïe Bauer; Alexis Saurin (CoRR, 2025)