Reynald Affeldt, Cyril Cohen, Ayumu Saito. Semantics of Probabilistic Programs using s-Finite Kernels in Coq. In Robbert Krebbers, Dmitriy Traytel, Brigitte Pientka, Steve Zdancewic, editors, Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, Boston, MA, USA, January 16-17, 2023. pages 3-16, ACM, 2023. [doi]
@inproceedings{AffeldtCS23,
title = {Semantics of Probabilistic Programs using s-Finite Kernels in Coq},
author = {Reynald Affeldt and Cyril Cohen and Ayumu Saito},
year = {2023},
doi = {10.1145/3573105.3575691},
url = {https://doi.org/10.1145/3573105.3575691},
researchr = {https://researchr.org/publication/AffeldtCS23},
cites = {0},
citedby = {0},
pages = {3-16},
booktitle = {Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, Boston, MA, USA, January 16-17, 2023},
editor = {Robbert Krebbers and Dmitriy Traytel and Brigitte Pientka and Steve Zdancewic},
publisher = {ACM},
}