文章基本信息

标题：Kleene Algebra with Products and Iteration Theories
本地全文：下载
作者：Dexter Kozen ; Konstantinos Mamouras
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2013
卷号：23
页码：415-431
DOI：10.4230/LIPIcs.CSL.2013.415
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：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.
关键词：Kleene algebra; typed Kleene algebra; iteration theories