1 paper
Filippo Bonchi, Cipriano Junior Cioffo
Probabilistic Boolean circuits have recently been proposed as a string-diagrammatic foundation for finite probabilistic programming. In this paper, we present a complete set of axi…