Pages that link to "Item:Q5386004"
From MaRDI portal
The following pages link to Game Semantics for Higher-Order Concurrency (Q5386004):
Displayed 5 items.
- Full abstraction for Reduced ML (Q388212) (← links)
- First-order reasoning for higher-order concurrency (Q456466) (← links)
- Program equivalence in a simple language with state (Q456473) (← links)
- A game semantics of names and pointers (Q2474444) (← links)
- A Testing Theory for a Higher-Order Cryptographic Language (Q3000588) (← links)