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