Kleene Algebra with Products and Iteration Theories
Dexter C. Kozen, Konstantinos Mamouras · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2013
We develop a typed equational system that subsumes both iteration theories and typed Kleene algebra in a common framework. Our approach is based on cartesian categories endowed with commutative strong monads to handle nondeterminism.