The following pages link to Full Abstraction for Reduced ML (Q3617719):
Displayed 5 items.
- Full abstraction for Reduced ML (Q388212) (← links)
- Program equivalence in a simple language with state (Q456473) (← links)
- Algorithmic games for full ground references (Q1650867) (← links)
- ML and Extended Branching VASS (Q2988645) (← links)
- Algorithmic Nominal Game Semantics (Q3000592) (← links)