Induction and co-induction in sequent calculus (2003)

by Alberto Momigliano, Alwen Tiu
Venue:In Mario Coppo Stefano Berardi and Ferruccio Damiani, editors, Post-proceedings of TYPES 2003, number 3085 in LNCS, pages 293 – 308