Applications of infinitary lambda calculus

@article{Barendregt2009ApplicationsOI,
  title={Applications of infinitary lambda calculus},
  author={Hendrik Pieter Barendregt and Jan Willem Klop},
  journal={Inf. Comput.},
  year={2009},
  volume={207},
  pages={559-582}
}