Publication type: |
Article in Proceedings |
Author: |
Sergey Goncharov, Lutz Schröder, Till Mossakowski |
Editor: |
Alexander Kurz, Andrzej Tarlecki |
Title: |
Kleene Monads: Handling Iteration in a Framework of Generic Effects |
Book / Collection title: |
Algebra and Coalgebra in Computer Science (CALCO 2009) |
Volume: |
5728 |
Page(s): |
18 – 33 |
Series: |
Lecture Notes in Computer Science |
Year published: |
2009 |
Publisher: |
Springer |
PDF Version: |
http://www.informatik.uni-bremen.de/~lschrode/papers/kleene.pdf |
Status: |
Reviewed |
Last updated: |
14. 10. 2009 |