Proper Functors and their Rational Fixed Point

Milius S (2017)

Publication Type: Conference contribution

Publication year: 2017

Publisher: Schloss Dagstuhl

Series: LIPIcs

Book Volume: 72

Pages Range: 18:1--18:15

Conference Proceedings Title: Proc.~7th Conference on Algebra and Coalgebra in Computer Science (CALCO'17)

Authors with CRIS profile

Stefan Milius Lehrstuhl für Informatik 8 (Theoretische Informatik)

Related research project(s)

Coinduction Meets Algebra For the Axiomatization of System Equivalence (COAX) Oct. 1, 2014 - July 31, 2018

How to cite

APA:

Milius, S. (2017). Proper Functors and their Rational Fixed Point. In Bonchi F, König B (Eds.), Proc.~7th Conference on Algebra and Coalgebra in Computer Science (CALCO'17) (pp. 18:1--18:15). Schloss Dagstuhl.

MLA:

Milius, Stefan. "Proper Functors and their Rational Fixed Point." Proceedings of the Proc.~7th Conference on Algebra and Coalgebra in Computer Science (CALCO'17) Ed. Bonchi F, König B, Schloss Dagstuhl, 2017. 18:1--18:15.

BibTeX: Download