%0 Conference Paper
%B Proceedings of the Twelfth International Conference on Foundations of Software Science and Computation structures (FoSSaCS 2009)
%D 2009
%T A Kleene theorem for polynomial coalgebras
%A Marcello Bonsangue
%A Jan Rutten
%A Alexandra Silva
%C York, UK
%I Springer
%P 122–136
%S Lecture Notes in Computer Science
%V 5504
%X <p>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.</p>
%8 March
%> https://haslab.uminho.pt/sites/default/files/xana/files/brs09a.pdf