Step-Indexed Logical Relations for Probability.

Ales Bizjak Lars Birkedal

Published in: FoSSaCS (2015)

Keyphrases

logical structure
probability distribution
database
information retrieval
information systems
hidden markov models
post processing
causal relations
truth values