Reasoning about Probability via Continuous Functions.

Tommaso Flaminio, Sandro Preto, Sara Ugolini

Browse the full KR paper archive.