Affordable Access

Quantitative Game Semantics for Linear Logic

Authors
Publication Date
Source
Hal-Diderot
Keywords
  • Linear Logic
  • Implicit Computational Complexity
  • Game Semantics
  • [Info.Info-Lo] Computer Science [Cs]/Logic In Computer Science [Cs.Lo]
  • [Info.Info-Cc] Computer Science [Cs]/Computational Complexity [Cs.Cc]
  • [Math.Math-Lo] Mathematics [Math]/Logic [Math.Lo]
  • [Info.Info-Gt] Computer Science [Cs]/Computer Science And Game Theory [Cs.Gt]
External links

Abstract

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

Statistics

Seen <100 times
0 Comments