Sign in
A Linear/Producer/Consumer Model of Classical Linear Logic.
Jennifer Paykin
Steve Zdancewic
Published in:
LINEARITY (2014)
Keyphrases
</>
probabilistic model
machine learning
probability distribution
general purpose
theoretical framework
linear model
linear logic