Login / Signup
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice.
Ugo Dal Lago
Francesco Gavazzo
Published in:
MFPS (2019)
Keyphrases
</>
bayesian networks
uncertain data
probabilistic model
generative model
continuous valued
database systems
data driven
information theoretic
fixed point
spatial relations
database
data sets
rough sets
probabilistic logic