@misc{indiciae47563ee2d74b,
  title = {Representing Continuous Functions between Greatest Fixed Points of Indexed Containers},
  author = {Pierre Hyvernat},
  year = {2021},
  doi = {10.46298/lmcs-17(3:13)2021},
  url = {https://arxiv.org/abs/1902.10971},
  note = {Source identifier: 1902.10971}
}