Stefan Milius, Thorsten Wißmann. Finitary Corecursion for the Infinitary Lambda Calculus. In Lawrence S. Moss, Pawel Sobocinski, editors, 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands. Volume 35 of LIPIcs, pages 336-351, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]
@inproceedings{MiliusW15,
title = {Finitary Corecursion for the Infinitary Lambda Calculus},
author = {Stefan Milius and Thorsten Wißmann},
year = {2015},
doi = {10.4230/LIPIcs.CALCO.2015.336},
url = {http://dx.doi.org/10.4230/LIPIcs.CALCO.2015.336},
researchr = {https://researchr.org/publication/MiliusW15},
cites = {0},
citedby = {0},
pages = {336-351},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands},
editor = {Lawrence S. Moss and Pawel Sobocinski},
volume = {35},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-939897-84-2},
}