@misc{indiciaee7936fe95d65,
  title = {Finitary Corecursion for the Infinitary Lambda Calculus},
  author = {Stefan Milius and Thorsten Wißmann},
  year = {2015},
  url = {https://arxiv.org/abs/1505.07736},
  note = {Source identifier: 1505.07736}
}