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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Mathieu Huot' in GoogleThis author has not been identified. Look up 'Alexander K. Lew' in GoogleThis author has not been identified. Look up 'Vikash K. Mansinghka' in GoogleThis author has not been identified. Look up 'Sam Staton' in Google

runs on WebDSL