A Linear Perspective on Cut-Elimination for Non-wellfounded Sequent Calculi with Least and Greatest Fixed-Points

von Saurin, Alexis
Veröffentlicht in TABLEAUX (32. : 2023 : Prag) Automated reasoning with analytic tableaux and related methods (2023)

Toward a Curry-Howard Equivalence for Linear, Reversible Computation: Work-in-Progress

von Chardonnet, Kostia
Veröffentlicht in RC (12. : 2020 : Online) Reversible computation (2020)