On coinductive equivalences for higher-order probabilistic functional programs.

Ugo Dal Lago Davide Sangiorgi Michele Alberti

Published in: POPL (2014)

Keyphrases

higher order
functional programs
term rewriting systems
lazy evaluation
probabilistic model
logic programs
pairwise
bayesian networks
knowledge representation
stochastic grammar
databases
database systems
functional language
artificial intelligence
relational algebra
functional programming