Pages that link to "Item:Q5308457"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5308457):
Displayed 11 items.
- Full abstraction for Reduced ML (Q388212) (← links)
- Program equivalence in a simple language with state (Q456473) (← links)
- Functions with local state: regularity and undecidability (Q557802) (← links)
- Local variable scoping and Kleene algebra with tests (Q929964) (← links)
- A game semantics of names and pointers (Q2474444) (← links)
- A System-Level Game Semantics (Q3178283) (← links)
- Interpreting Localized Computational Effects Using Operators of Higher Type (Q3507453) (← links)
- Full Abstraction for Reduced ML (Q3617719) (← links)
- Towards Nominal Abramsky (Q4922085) (← links)
- Sequentiality and the CPS Semantics of Fresh Names (Q5262939) (← links)
- Capsules and Closures (Q5739358) (← links)