TY  - RPRT
TI  - Cut Elimination for a Logic with Induction and Co-induction
AU  - Alwen Tiu
AU  - Alberto Momigliano
PY  - 2010
UR  - https://arxiv.org/abs/1009.6171
ID  - 1009.6171
ER  -