@inproceedings{Leventis2018ProbabilisticBT, title={Probabilistic B{\"o}hm Trees and Probabilistic Separation}, author={Thomas Leventis}, booktitle={LICS}, year={2018} }

- Published 2018 in LICS
DOI:10.1145/3209108.3209126

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

### Presentations referencing similar topics