Probabilistic coherence spaces are fully abstract for probabilistic PCF.

Thomas Ehrhard Christine Tasson Michele Pagani

Published in: POPL (2014)

Keyphrases

bayesian networks
generative model
probabilistic model
neural network
case study
probabilistic relational
database
data sets
social networks
knowledge base
search algorithm
relational databases
mobile robot
belief networks
probabilistic approaches