{"id":"2302.10636","title":"ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs","url":"https://codeofpaper.com/paper/2302.10636","arxiv_url":"https://arxiv.org/abs/2302.10636","published":"2023-02-21","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":2}