Logics for Probabilistic Programming (Extended Abstract)

John H. Reif

Browse the full STOC paper archive.