Differentials and distances in probabilistic coherence spaces

Thomas Ehrhard. Differentials and distances in probabilistic coherence spaces. Logical Methods in Computer Science, 18(3), 2022. [doi]

Abstract

Abstract is missing.