Author Archives: Matthijs Vákár

S-finite Kernels and Game Semantics for Probabilistic Programming

Staton has recently argued convincingly that first-order functional probabilistic programs with sampling from continuous distributions and soft constraints correspond precisely to so-called s-finite kernels. This class of possibly infinite kernels is a little studied extension of their better known σ-finite cousins, … Continue reading

Posted in Uncategorized | Comments Off on S-finite Kernels and Game Semantics for Probabilistic Programming