1. Une Application de la Logique Linéaire a l'Etude des Processus de Normalisation (principalement du λ-calcul);Danos,1990
2. A note on full intuitionistic linear logic;Bierman;Ann. Pure Appl. Logic,1996
3. Cut-Elimination for Full Intuitionistic Linear Logic;Braüner,1996
4. Valentini's cut-elimination for provability logic resolved;Goré;Rev. Symb. Log.,2012
5. Generic methods for formalising sequent calculi applied to provability logic;Dawson,2010