Report copyright - Failure of Cut-Elimination in Cyclic Proofs of …Separation Logic Daisuke Kimura, Koji Nakazawa, Tachio Terauchi, and Hiroshi Unno This paper studies the role of the cut rule in cyclic
Please pass captcha verification before submit form