TY  - RPRT
TI  - Reasoning about modular datatypes with Mendler induction
AU  - Paolo Torrini
AU  - Tom Schrijvers
PY  - 2015
DO  - 10.4204/eptcs.191.13
UR  - https://arxiv.org/abs/1509.03021
ID  - 1509.03021
ER  -