LIPIcs.CSL.2013.415.pdf
- Filesize: 0.57 MB
- 17 pages
Document
Kleene Algebra with Products and Iteration Theories
Authors
-
Part of:
Volume:
Computer Science Logic 2013 (CSL 2013)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: Computer Science Logic (CSL) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2013-09-02
Cite AsGet BibTex
Dexter Kozen and Konstantinos Mamouras. Kleene Algebra with Products and Iteration Theories. In Computer Science Logic 2013 (CSL 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 23, pp. 415-431, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
https://doi.org/10.4230/LIPIcs.CSL.2013.415
https://doi.org/10.4230/LIPIcs.CSL.2013.415
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.
Keywords
- Kleene algebra
- typed Kleene algebra
- iteration theories
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads