The following pages link to J. M. Egger (Q456837):
Displaying 10 items.
- On cyclic star-autonomous categories (Q456839) (← links)
- Girard couples of quantales (Q969691) (← links)
- (Q2852359) (← links)
- The enriched effect calculus: syntax and semantics (Q2937687) (← links)
- Linear-use CPS translations in the Enriched Effect Calculus (Q3166223) (← links)
- (Q3519055) (← links)
- (Q3552041) (← links)
- Linearly-Used Continuations in the Enriched Effect Calculus (Q3557841) (← links)
- Enriching an Effect Calculus with Linear Types (Q3644752) (← links)
- (Q5200303) (← links)
