The following pages link to Jean-Claude Reynaud (Q631571):
Displaying 6 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)