Login / Signup

Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions.

Samson AbramskyGuy 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