Foundations of Probabilistic Programming by Gilles Barthe (2020)

Probabilistic Programming. Probability and Mathematical Statistics, A Series of

Foundations of Measurement Volume II: Geometrical, Threshold, and Probabilistic

Foundations of Probabilistic Logic Programming: Languages, Semantics, Infere...

Foundations of Probabilistic Programming - 9781108488518

Foundations of Measurement Volume II: Geometrical, Threshold, and Probabilistic

Probabilistic Foundations of Rational Learning, Paperback by Huttegger, Simon...

Bayesian Methods for Hackers: Probabilistic Programming and Bayesian Inferen...