Semantics of Probabilistic Programs using s-Finite Kernels in Coq.

Reynald Affeldt, Cyril Cohen, Ayumu Saito

Browse the full CPP paper archive.