A Kleene theorem for polynomial coalgebras
- Citation:
- Bonsangue M, Rutten J, Silva A. 2009. A Kleene theorem for polynomial coalgebras. Proceedings of the Twelfth International Conference on Foundations of Software Science and Computation structures (FoSSaCS 2009). 5504:122–136.
Tertiary Title:
Lecture Notes in Computer ScienceDate Presented:
MarchAbstract:
For polynomial functors G, we show how to generalize the classical notion of regular expression to G-coalgebras. We introduce a language of expressions for describing elements of the final G-coalgebra and, analogously to Kleene’s theorem, we show the correspondence between expressions and finite G-coalgebras.
Citation Key:
BRS09aDOI:
10.1007/978-3-642-00596-1_10
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.