@inproceedings{lew2023omegapap,
  title = "omega-{PAP} Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs",
  author = "Alexander K. Lew and Mathieu Huot and Sam Staton and Vikash K. Mansinghka",
  year = "2023",
  booktitle = "Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023)",
  doi = "10.1109/LICS56636.2023.10175739",
}