omega−PAP Spaces: Reasoning Denotationally About Higher−Order‚ Recursive Probabilistic and Differentiable Programs
Alexander K. Lew‚ Mathieu Huot‚ Sam Staton and Vikash K. Mansinghka
Book Title
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023)
Year
2023