Finitary Corecursion for the Infinitary Lambda Calculus (bibtex)

Reference:

Stefan Milius and Thorsten Wißmann: Finitary Corecursion for the Infinitary Lambda Calculus, In Lawrence S. Moss, Pawel Sobocinski, eds.: Proc. 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, Leibniz International Proceedings in Informatics, vol. 35, pp. 336–351, 2015.

Bibtex Entry:

@inproceedings{MiliusWissmannRatlambda,
  title = {Finitary Corecursion for the Infinitary Lambda Calculus},
  author = {Stefan Milius and Thorsten Wi\ss{}mann},
  booktitle = {Proc. 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015},
  series = {Leibniz International Proceedings in Informatics},
  editor = 	 {Lawrence S. Moss and Pawel Sobocinski},
  volume = {35},
  pages = {336--351},
  year = {2015},
  url = {https://coalg.org/calco15/papers/p21-Wi%C3%9Fmann.pdf},
}