TY  - RPRT
TI  - Greatest HITs: Higher inductive types in coinductive definitions via induction under clocks
AU  - Magnus Baunsgaard Kristensen
AU  - Rasmus Ejlers Møgelberg
AU  - Andrea Vezzosi
PY  - 2022
UR  - https://arxiv.org/abs/2102.01969
ID  - 2102.01969
ER  -