JavaScript is disabled for your browser. Some features of this site may not work without it.
eCommons user survey
In anticipation of a significant software upgrade, the eCommons team invites you to participate in a brief survey.
In anticipation of a significant software upgrade, the eCommons team invites you to participate in a brief survey.
Typed Kleene Algebra with Products and Iteration Theories
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