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
Citations:23 - 8 self