@misc{indiciae62faf6a2feea,
  title = {\$ω\$PAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs},
  author = {Mathieu Huot and Alexander K. Lew and Vikash K. Mansinghka and Sam Staton},
  year = {2023},
  url = {https://arxiv.org/abs/2302.10636},
  note = {Source identifier: 2302.10636}
}