@misc{indiciaebc49080b08db,
  title = {Data-Codata Symmetry and its Interaction with Evaluation Order},
  author = {David Binder and Julian Jabs and Ingo Skupin and Klaus Ostermann},
  year = {2022},
  url = {https://arxiv.org/abs/2211.13004},
  note = {Source identifier: 2211.13004}
}