Pages that link to "Item:Q3401132"
From MaRDI portal
The following pages link to Full abstraction for nominal general references (Q3401132):
Displayed 10 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)
- Game Semantics for Access Control (Q2805155) (← links)
- Block structure vs scope extrusion: between innocence and omniscience (Q2974774) (← links)
- Towards Nominal Abramsky (Q4922085) (← links)
- (Q4957793) (← links)
- Polynomial-time equivalence testing for deterministic fresh-register automata (Q5005176) (← links)
- Global State Considered Helpful (Q5415641) (← links)
- Deciding contextual equivalence of \(\nu \)-calculus with effectful contexts (Q6091179) (← links)