Login / Signup

Cones as a model of intuitionistic linear logic.

Thomas Ehrhard
Published in: LICS (2020)
Keyphrases
  • linear logic
  • data model
  • probability distribution
  • high level
  • decision makers
  • qualitative and quantitative
  • logical framework