Finitary Corecursion for the Infinitary Lambda Calculus

Conference contribution


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


FAU Authors / FAU Editors

Milius, Stefan PD Dr.
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Wißmann, Thorsten
Lehrstuhl für Informatik 8 (Theoretische Informatik)


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). Nijmegen (NL): 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: 

Last updated on 2018-19-04 at 03:26