| |
| 2009 | ||
|---|---|---|
| 6 | EE | Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud: Cartesian effect categories are Freyd-categories CoRR abs/0903.3311: (2009) |
| 2007 | ||
| 5 | EE | Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud: Sequential products in effect categories CoRR abs/0707.1432: (2007) |
| 2005 | ||
| 4 | EE | Dominique Duval, Jean-Claude Reynaud: Diagrammatic logic and exceptions: an introduction. Mathematics, Algorithms, Proofs 2005 |
| 1994 | ||
| 3 | Dominique Duval, Jean-Claude Reynaud: Sketches and Computation - I: Basic Definitions and Static Evaluation. Mathematical Structures in Computer Science 4(2): 185-238 (1994) | |
| 2 | Dominique Duval, Jean-Claude Reynaud: Sketches and Computation - II: Dynamic Evaluation and Applications. Mathematical Structures in Computer Science 4(2): 239-271 (1994) | |
| 1990 | ||
| 1 | Jean-Claude Reynaud: Putting Algebraic Components Together: A Dependent Type Approach. DISCO 1990: 141-150 | |
| 1 | Jean-Guillaume Dumas | [5] [6] |
| 2 | Dominique Duval | [2] [3] [4] [5] [6] |