TY - RPRT TI - Upper approximating probabilities of convergence in probabilistic coherence spaces AU - Thomas Ehrhard PY - 2020 UR - https://arxiv.org/abs/2008.04534 ID - 2008.04534 ER -