Login / Signup
Predicate Transformers and Linear Logic: Yet Another Denotational Model.
Pierre Hyvernat
Published in:
CSL (2004)
Keyphrases
</>
probabilistic model
linear logic
machine learning
probability distribution
general purpose