%0 Conference Paper %1 conf/lics/HuotLMS23 %A Huot, Mathieu %A Lew, Alexander K. %A Mansinghka, Vikash K. %A Staton, Sam %B LICS %D 2023 %I IEEE %K dblp %P 1-14 %T ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs. %U http://dblp.uni-trier.de/db/conf/lics/lics2023.html#HuotLMS23 %@ 979-8-3503-3587-3

@inproceedings{conf/lics/HuotLMS23, added-at = {2024-05-29T00:00:00.000+0200}, author = {Huot, Mathieu and Lew, Alexander K. and Mansinghka, Vikash K. and Staton, Sam}, biburl = {https://www.bibsonomy.org/bibtex/209114df3653e9f95ad6568b36df934cd/dblp}, booktitle = {LICS}, crossref = {conf/lics/2023}, ee = {https://doi.org/10.1109/LICS56636.2023.10175739}, interhash = {6a6913fe29f107e70e80462e7533387c}, intrahash = {09114df3653e9f95ad6568b36df934cd}, isbn = {979-8-3503-3587-3}, keywords = {dblp}, pages = {1-14}, publisher = {IEEE}, timestamp = {2024-06-03T07:16:45.000+0200}, title = {ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2023.html#HuotLMS23}, year = 2023 }