TY  - RPRT
TI  - Equational axioms associated with finite automata for fixed point operations in cartesian categories
AU  - Zoltan Esik
PY  - 2015
DO  - 10.1017/s0960129515000031
UR  - https://arxiv.org/abs/1501.02190
ID  - 1501.02190
ER  -