On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (Long Version).

Raphaëlle Crubillé Ugo Dal Lago

Published in: CoRR (2014)

Keyphrases

bayesian networks
probabilistic model
context sensitive
generative model
belief networks
probabilistic approaches
neural network
machine learning
knowledge base
decision trees
search algorithm
data driven
information theoretic
probabilistic reasoning