Full Abstraction for Idealized Algol with passive expressions

類似資料

• Linearity‚ Sharing and State: a fully abstract game semantics for Idealized Algol
  著者:: Abramsky, S, 等
  出版事項: (1997)
• Games and Full Abstraction for the Lazy λ−calculus
  著者:: Abramsky, S, 等
  出版事項: (1995)
• A fully abstract game semantics for general references
  著者:: Abramsky, S, 等
  出版事項: (1998)
• Third-order Idealized Algol with iteration is decidable
  著者:: Murawski, A, 等
  出版事項: (2008)
• Game Semantics
  著者:: Abramsky, S, 等
  出版事項: (1999)