Induction and co-induction in sequent calculus (2003)

by Alwen Tiu , Alberto Momigliano
Venue:Post-proceedings of TYPES 2003, number 3085 in LNCS
Citations:23 - 8 self