@misc{indiciaea436c3969da1,
  title = {Master Thesis Impredicative Encodings of Inductive and Coinductive Types},
  author = {Steven Bronsveld and Herman Geuvers and Niels van der Weide},
  year = {2025},
  url = {https://arxiv.org/abs/2505.13495},
  note = {Source identifier: 2505.13495}
}