Finitary Corecursion for the Infinitary Lambda Calculus (bibtex)
by Stefan Milius, Thorsten Wißmann
Reference:
Finitary Corecursion for the Infinitary Lambda Calculus (Stefan Milius, Thorsten Wißmann), In Proc. 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, Leibniz International Proceedings in Informatics, 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},
  year = {2015},
  url = {http://coalg.org/calco15/papers/p21-Wi%C3%9Fmann.pdf},
}
Powered by bibtexbrowser