IMAG 3 : un système de simulation et d'optimisation de circuits electroniques. - Jean-Claude Reynaud (1978)

Putting Algebraic Components Together: A Dependent Type Approach. - Jean-Claude Reynaud (DISCO, 1990)

Sketches and Computation - I: Basic Definitions and Static Evaluation. - Dominique Duval; Jean-Claude Reynaud (Math. Struct. Comput. Sci., 1994)

Sketches and Computation - II: Dynamic Evaluation and Applications. - Dominique Duval; Jean-Claude Reynaud (Math. Struct. Comput. Sci., 1994)

Diagrammatic logic and exceptions: an introduction. - Dominique Duval; Jean-Claude Reynaud (Mathematics, Algorithms, Proofs, 2005)

Sequential products in effect categories - Jean-Guillaume Dumas; Dominique Duval; Jean-Claude Reynaud (CoRR, 2007)

About raising and handling exceptions - Dominique Duval; Jean-Claude Reynaud (CoRR, 2009)

States and exceptions are dual effects - Jean-Guillaume Dumas; Dominique Duval; Laurent Fousse; Jean-Claude Reynaud (CoRR, 2010)

Cartesian effect categories are Freyd-categories. - Jean-Guillaume Dumas; Dominique Duval; Jean-Claude Reynaud (J. Symb. Comput., 2011)

Decorated proofs for computational effects: States - Jean-Guillaume Dumas; Dominique Duval; Laurent Fousse; Jean-Claude Reynaud (ACCAT, 2012)

Decorated proofs for computational effects: Exceptions - Jean-Guillaume Dumas; Dominique Duval; Laurent Fousse; Jean-Claude Reynaud (CoRR, 2012)

Adjunctions for exceptions - Jean-Guillaume Dumas; Dominique Duval; Laurent Fousse; Jean-Claude Reynaud (CoRR, 2012)

A duality between exceptions and states. - Jean-Guillaume Dumas; Dominique Duval; Laurent Fousse; Jean-Claude Reynaud (Math. Struct. Comput. Sci., 2012)

Patterns for computational effects arising from a monad or a comonad. - Jean-Guillaume Dumas; Dominique Duval; Jean-Claude Reynaud (CoRR, 2013)

A decorated proof system for exceptions. - Jean-Guillaume Dumas; Dominique Duval; Jean-Claude Reynaud (CoRR, 2013)

Certified Proofs in Programs Involving Exceptions. - Jean-Guillaume Dumas; Dominique Duval; Burak Ekici; Jean-Claude Reynaud (CICM Workshops, 2014)

Breaking a monad-comonad symmetry between computational effects. - Jean-Guillaume Dumas; Dominique Duval; Jean-Claude Reynaud (CoRR, 2014)

Relative Hilbert-Post Completeness for Exceptions. - Jean-Guillaume Dumas; Dominique Duval; Burak Ekici; Damien Pous; Jean-Claude Reynaud (MACIS, 2015)

Hilbert-Post completeness for the state and the exception effects. - Jean-Guillaume Dumas; Dominique Duval; Burak Ekici; Damien Pous; Jean-Claude Reynaud (CoRR, 2015)