Login / Signup
Extensional Denotational Semantics of Higher-Order Probabilistic Programs, Beyond the Discrete Case.
Guillaume Geoffroy
Published in:
CoRR (2021)
Keyphrases
</>
higher order
denotational semantics
programming language
bayesian networks
continuous valued
high order
operational semantics
probabilistic model
management system
database management systems