A Uniform Cut-Elimination Theorem for Linear Logics with Fixed Points and Super Exponentials.

Alexis Saurin, Esae Bauer

Browse the full CSL paper archive.