Rémi Nollet

PSPACE-Completeness of a Thread Criterion for Circular Proofs in Linear Logic with Least and Greatest Fixed Points

Alexis Saurin, Christine Tasson, Rémi Nollet, 2019, TABLEAUX.

Local Validity for Circular Proofs in Linear Logic with Fixed Points

Alexis Saurin, Christine Tasson, Rémi Nollet, 2018, CSL.