Fixed Points of Functors

Adámek J, Milius S, Moss L (2018)

Publication Type: Journal article

Publication year: 2018

Journal

Journal of Logical and Algebraic Methods in Programming Elsevier

Book Volume: 95

Pages Range: 41--81

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

Involved external institutions

Technische Universität Braunschweig DE Germany (DE) Indiana University US United States (USA) (US)

How to cite

APA:

Adámek, J., Milius, S., & Moss, L. (2018). Fixed Points of Functors. Journal of Logical and Algebraic Methods in Programming, 95, 41--81.

MLA:

Adámek, Jiří, Stefan Milius, and Lawrence Moss. "Fixed Points of Functors." Journal of Logical and Algebraic Methods in Programming 95 (2018): 41--81.

BibTeX: Download