Login / Signup
Predicate Transformers and Linear Logic, yet another denotational model
Pierre Hyvernat
Published in:
CoRR (2009)
Keyphrases
</>
probabilistic model
linear logic
machine learning
artificial intelligence
high level