2009
A Kleene theorem for polynomial coalgebras
Publication
Publication
Presented at the
Conference on Foundations of Software Science and Computation Structures
Additional Metadata | |
---|---|
Springer | |
L. de Alfaro | |
Lecture Notes in Computer Science | |
Conference on Foundations of Software Science and Computation Structures | |
Organisation | Computer Security |
Bonsangue, M.M, Rutten, J.J.M.M, & Silva, A.M. (2009). A Kleene theorem for polynomial coalgebras. In L de Alfaro (Ed.), Proceedings of Conference on Foundations of Software Science and Computation Structures 2009 (pp. 122–136). Springer.
|