The following pages link to Jean-Claude Reynaud (Q631571):
Displayed 10 items.
- Cartesian effect categories are Freyd-categories (Q631572) (← links)
- Sketches and computations over fields. (Q1565815) (← links)
- Relative Hilbert-Post Completeness for Exceptions (Q2807879) (← links)
- A duality between exceptions and states (Q2909735) (← links)
- Sketches and computation – I: basic definitions and static evaluation (Q4302336) (← links)
- Sketches and computation – II: dynamic evaluation and applications (Q4302337) (← links)
- A duality between exceptions and states (Q6229624) (← links)
- Decorated proofs for computational effects: States (Q6229625) (← links)
- Decorated proofs for computational effects: Exceptions (Q6231626) (← links)
- Adjunctions for exceptions (Q6234183) (← links)