Semantics of Interaction: an introduction to Game Semantics

Նմանատիպ նյութեր

• Algorithmic Game Semantics: A Tutorial Introduction
  ‌: Abramsky, S
  Հրապարակվել է: (2001)
• Game Semantics
  ‌: Abramsky, S, և այլն
  Հրապարակվել է: (1999)
• Games in the Semantics of Programming Languages
  ‌: Abramsky, S
  Հրապարակվել է: (1997)
• Game Semantics for Programming Languages
  ‌: Abramsky, S
  Հրապարակվել է: (1997)
• From CSP to Game Semantics
  ‌: Abramsky, S
  Հրապարակվել է: (2010)