Failure of Cut-Elimination in the Cyclic Proof System of Bunched Logic with Inductive Propositions.

Kenji Saotome, Koji Nakazawa, Daisuke Kimura

Browse the full FSCD paper archive.