Finitary Corecursion for the Infinitary Lambda Calculus

Milius S, Wißmann T (2015)

Publication Type: Conference contribution

Publication year: 2015

Journal

LIPIcs : Leibniz International Proceedings in Informatics Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

Publisher: Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

Edited Volumes: Leibniz International Proceedings in Informatics, LIPIcs

Series: Leibniz International Proceedings in Informatics

Book Volume: 35

Pages Range: 336-351

Conference Proceedings Title: Proc. 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015

Event location: Nijmegen (NL)

ISBN: 978-3-939897-84-2

URI: https://coalg.org/calco15/papers/p21-Wi%C3%9Fmann.pdf

DOI: 10.4230/LIPIcs.CALCO.2015.336

Authors with CRIS profile

Stefan Milius Lehrstuhl für Informatik 8 (Theoretische Informatik) Thorsten Wißmann 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: Download