A
Menu
January 11, 2023 conference-paper Open access

Semantics of Probabilistic Programs using s-Finite Kernels in Coq

ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)

DOI: 10.1145/3573105.3575691 Full text (OA) OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 0 stored of 8

References 1

1 result