Probabilistic Böhm Trees and Probabilistic Separation

@inproceedings{Leventis2018ProbabilisticBT,
  title={Probabilistic B{\"o}hm Trees and Probabilistic Separation},
  author={Thomas Leventis},
  booktitle={LICS},
  year={2018}
}
We study the notion of observational equivalence in the call-by-name probabilistic λ-calculus, where two terms are said observationally equivalent if under any context, their head reductions converge with the same probability. Our goal is to generalise the separation theorem to this probabilistic setting. To do so we define probabilistic Böhm trees and… CONTINUE READING