Cyclic Proofs for Transfinite Expressions.

Emile Hazard, Denis Kuperberg

Browse the full CSL paper archive.