Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka, Sam Staton. ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs. In 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023, Boston, MA, USA, June 26-29, 2023. pages 1-14, IEEE, 2023. [doi]
Abstract is missing.