ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs.

Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton

Browse the full LICS paper archive.