TY  - RPRT
TI  - Induction and Co-induction in Sequent Calculus
AU  - Alwen Tiu
AU  - Alberto Momigliano
PY  - 2009
UR  - https://arxiv.org/abs/0812.4727
ID  - 0812.4727
ER  -