Profinite Monads, Profinite Equations and Reitermann's Theorem

Chen LT, Adámek J, Milius S, Urbat H, Urbat H (2016)

Publication Type: Conference contribution

Publication year: 2016

Publisher: Springer

Series: Lecture Notes in Computer Science

City/Town: Heidelberg

Book Volume: 9634

Pages Range: 531–547

Conference Proceedings Title: Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016

Event location: Eindhoven (The Netherlands)

ISBN: 978-3-662-49629-9

DOI: 10.1007/978-3-662-49630-5_31

Authors with CRIS profile

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

Involved external institutions

Technische Universität Braunschweig DE Germany (DE) Swansea University GB United Kingdom (GB)

How to cite

APA:

Chen, L.-T., Adámek, J., Milius, S., Urbat, H., & Urbat, H. (2016). Profinite Monads, Profinite Equations and Reitermann's Theorem. In Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016 (pp. 531–547). Eindhoven (The Netherlands): Heidelberg: Springer.

MLA:

Chen, Liang-Ting, et al. "Profinite Monads, Profinite Equations and Reitermann's Theorem." Proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Eindhoven (The Netherlands) Heidelberg: Springer, 2016. 531–547.

BibTeX: Download