Cyclic Proof Theory of Generalised Inductive Definitions.

Gianluca Curzi, Lukas Melgaard

Browse the full CSL paper archive.