Equational axioms associated with finite automata for fixed point operations in cartesian categories

Zoltán Ésik. Equational axioms associated with finite automata for fixed point operations in cartesian categories. Mathematical Structures in Computer Science, 27(1):54-69, 2017. [doi]

Abstract

Abstract is missing.