Thomas Ehrhard

Upper approximating probabilities of convergence in probabilistic coherence spaces

2020 · arXiv (Cornell University)

We develop a theory of probabilistic coherence spaces equipped with an additional extensional structure and apply it to approximating probability of convergence of ground type programs of probabilistic PCF whose free variables are of ground …