Bauer, E., & Saurin, A. (2025). A uniform cut-elimination theorem for linear logics with fixed points and super exponentials.
Chicago Style (17th ed.) CitationBauer, Esaïe, and Alexis Saurin. A Uniform Cut-elimination Theorem for Linear Logics with Fixed Points and Super Exponentials. 2025.
MLA (9th ed.) CitationBauer, Esaïe, and Alexis Saurin. A Uniform Cut-elimination Theorem for Linear Logics with Fixed Points and Super Exponentials. 2025.
Warning: These citations may not always be 100% accurate.