On Coinductive Equivalences for Higher-Order Probabilistic Functional Programs (Long Version).

Ugo Dal Lago Davide Sangiorgi Michele Alberti

Published in: CoRR (2013)

Keyphrases

higher order
functional programs
term rewriting systems
lazy evaluation
logic programs
bayesian networks
functional language
pairwise
probabilistic model
stochastic grammar
data mining
conditional probabilities
database
databases
relational algebra