Local Validity for Circular Proofs in Linear Logic with Fixed Points.

Rmi Nollet, Alexis Saurin, Christine Tasson

Browse the full CSL paper archive.