TY  - RPRT
TI  - Totality for Mixed Inductive and Coinductive Types
AU  - Pierre Hyvernat
PY  - 2025
DO  - 10.46298/lmcs-21(3:19)2025
UR  - https://arxiv.org/abs/1901.07820
ID  - 1901.07820
ER  -