Henk Barendregt, Jan Willem Klop. Applications of infinitary lambda calculus. Inf. Comput., 207(5):559-582, 2009. [doi]
@article{BarendregtK09, title = {Applications of infinitary lambda calculus}, author = {Henk Barendregt and Jan Willem Klop}, year = {2009}, doi = {10.1016/j.ic.2008.09.003}, url = {http://dx.doi.org/10.1016/j.ic.2008.09.003}, researchr = {https://researchr.org/publication/BarendregtK09}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {207}, number = {5}, pages = {559-582}, }