Affordable Access

Asynchronous games 4 : A fully complete model of propositional linear logic

Authors
Publication Date
Source
Hal-Diderot
Keywords
  • Game Semantics
  • Linear Logic
  • Full Completeness
  • Asynchronous Games
  • [Info.Info-Lo] Computer Science [Cs]/Logic In Computer Science [Cs.Lo]
External links

Abstract

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments