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. |
|