Traced Premonoidal Categories, Theoretical Informatics and Applications, pp.273-299, 2003. ,
DOI : 10.1051/ita:2003020
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.9365
Diagrammatic specifications, Mathematical Structures in Computer Science, vol.13, issue.6, pp.857-890, 2003. ,
DOI : 10.1017/S0960129503003979
URL : https://hal.archives-ouvertes.fr/hal-00171562
Diagrammatic logic and effects: the example of exceptions, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00004129
Dynamic logic and exceptions: an introduction, Proc. MAP05, Mathematics, Algorithms, Proofs, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00171561
Arrows, like Monads, are Monoids, Electronic Notes in Theoretical Computer Science, vol.158, pp.219-236, 2006. ,
DOI : 10.1016/j.entcs.2006.04.012
Generalising monads to arrows, Science of Computer Programming, vol.37, issue.1-3, pp.67-111, 2000. ,
DOI : 10.1016/S0167-6423(99)00023-4
Notions of computation and monads. Information and Computation, pp.55-92, 1991. ,
A new notation for arrows, International Conference on Functional Programming, pp.229-240, 2001. ,
Premonoidal categories and notions of computation, Mathematical Structures in Computer Science, vol.7, issue.5, pp.453-468, 1997. ,
DOI : 10.1017/S0960129597002375
Closed Freyd- and ??-categories, Proceedings 26th Int. Coll. on Automata, Languages and Programming, ICALP'99, pp.11-15, 1999. ,
DOI : 10.1007/3-540-48523-6_59
Monads for functional programming, Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School, 1993. ,