Conference contribution


Finitary Corecursion for the Infinitary Lambda Calculus


Publication Details
Author(s): Milius S, Wißmann T
Title edited volumes: Leibniz International Proceedings in Informatics, LIPIcs
Publisher: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
Publication year: 2015
Title of series: Leibniz International Proceedings in Informatics
Volume: 35
Conference Proceedings Title: Proc. 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015
Pages range: 336-351
ISBN: 978-3-939897-84-2
ISSN: 1868-8969

Event details
Event: CALCO 2015
Event location: Nijmegen (NL)
Start date of the event: 24/06/2015
End date of the event: 26/06/2015



How to cite
APA: Milius, S., & Wißmann, T. (2015). Finitary Corecursion for the Infinitary Lambda Calculus. In Proc. 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015 (pp. 336-351). Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik.

MLA: Milius, Stefan, and Thorsten Wißmann. "Finitary Corecursion for the Infinitary Lambda Calculus." Proceedings of the CALCO 2015, Nijmegen (NL) Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik, 2015. 336-351.

BibTeX: Download
Share link
Last updated on 2017-04-30 at 03:22
PDF downloaded successfully