Game Semantics

Benzer Materyaller

• Linearity‚ Sharing and State: a fully abstract game semantics for Idealized Algol
  Yazar:: Abramsky, S, ve diğerleri
  Baskı/Yayın Bilgisi: (1997)
• A fully abstract game semantics for general references
  Yazar:: Abramsky, S, ve diğerleri
  Baskı/Yayın Bilgisi: (1998)
• Games for recursive types
  Yazar:: Abramsky, S, ve diğerleri
  Baskı/Yayın Bilgisi: (1995)
• Call−by−value games
  Yazar:: Abramsky, S, ve diğerleri
  Baskı/Yayın Bilgisi: (1998)
• Games and Full Abstraction for the Lazy λ−calculus
  Yazar:: Abramsky, S, ve diğerleri
  Baskı/Yayın Bilgisi: (1995)