Aleatoric Propositions: Reasoning About Coins.

Tim French

Browse the full WoLLIC paper archive.