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