Diagrammatic logic applied to a parameterisation process, Mathematical Structures in Computer Science, vol.87, issue.04, pp.639-654, 2010. ,
DOI : 10.1016/S0022-4049(96)00007-2
Cartesian effect categories are Freyd-categories, Journal of Symbolic Computation, vol.46, issue.3, pp.272-293, 2011. ,
DOI : 10.1016/j.jsc.2010.09.008
URL : https://hal.archives-ouvertes.fr/hal-00369328
States and exceptions considered as dual effects, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00445873
A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State. Formal Methods for Industrial Applications 1995, Lecture Notes in Computer Science 1165, pp.233-264, 1996. ,
Notions of Computation Determine Monads. FoS- SaCS, Lecture Notes in Computer Science 2303, pp.342-356, 2002. ,