JavaScript is disabled for your browser. Some features of this site may not work without it.
Typed Kleene Algebra with Products and Iteration Theories

Author
Kozen, Dexter; Mamouras, Konstantinos
Abstract
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.
Date Issued
2013-02-22Subject
Kleene algebra; iteration theories
Type
technical report