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., Rutten, J., & Silva, A. (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. |