Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview

Zoltán Ésik. Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview. In Giuseppe F. Italiano, Giovanni Pighizzini, Donald Sannella, editors, Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I. Volume 9234 of Lecture Notes in Computer Science, pages 18-37, Springer, 2015. [doi]

Abstract

Abstract is missing.