Login / Signup

Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱.

Takeshi TsukadaKazuyuki Asada
Published in: LICS (2022)
Keyphrases
  • linear logic
  • probabilistic model
  • constraint satisfaction problems
  • programming language
  • modal logic