DMCA

Induction and co-induction in sequent calculus (2003)

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