Induction and co-induction in sequent calculus (0)

by A Momigliano, A Tiu
Venue:In Postproceedings of TYPES 2003