Jean-Claude Reynaud
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Relative Hilbert-Post completeness for exceptions Mathematical Aspects of Computer and Information Sciences | 2016-05-25 | Paper |
| A duality between exceptions and states MSCS. Mathematical Structures in Computer Science | 2012-09-06 | Paper |
| Adjunctions for exceptions | 2012-07-05 | Paper |
| Decorated proofs for computational effects: Exceptions | 2012-03-13 | Paper |
| A duality between exceptions and states | 2011-12-11 | Paper |
| Decorated proofs for computational effects: States | 2011-12-11 | Paper |
| Cartesian effect categories are Freyd-categories Journal of Symbolic Computation | 2011-03-14 | Paper |
| Sketches and computations over fields. Mathematics and Computers in Simulation | 2003-05-27 | Paper |
| Sketches and computation – II: dynamic evaluation and applications Mathematical Structures in Computer Science | 1994-08-14 | Paper |
| Sketches and computation – I: basic definitions and static evaluation Mathematical Structures in Computer Science | 1994-08-14 | Paper |
Research outcomes over time
This page was built for person: Jean-Claude Reynaud
