@misc{indiciaedf47bca68245,
  title = {Greatest HITs: Higher inductive types in coinductive definitions via induction under clocks},
  author = {Magnus Baunsgaard Kristensen and Rasmus Ejlers Møgelberg and Andrea Vezzosi},
  year = {2022},
  url = {https://arxiv.org/abs/2102.01969},
  note = {Source identifier: 2102.01969}
}