Curry and Howard Meet Borel.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

Browse the full LICS paper archive.