Login / Signup
Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions.
Samson Abramsky
Guy McCusker
Published in:
Electron. Notes Theor. Comput. Sci. (1996)
Keyphrases
</>
programming language
state space
video games
educational games
propositional dynamic logic
knowledge base
high level
virtual world