TY  - RPRT
TI  - Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types
AU  - Andreas Abel
PY  - 2012
DO  - 10.4204/eptcs.77.1
UR  - https://arxiv.org/abs/1202.3496
ID  - 1202.3496
ER  -