ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Jun 26, 2023
- Source ID
- 10.1109/lics56636.2023.10175739
Entities
People
- Alexander K. Lew
- Mathieu Huot
- Sam Staton
- Vikash K. Mansinghka
Organizations
- Air Force Office of Scientific Research