Universal Semantics for the Stochastic λ-Calculus

Pedro H. Azevedo de Amorim; Dexter Kozen; Radu Mardare; Prakash Panangaden; Michael Roberts

doi:10.1109/lics52264.2021.9470747

LICS2021顶会

Universal Semantics for the Stochastic λ-Calculus

Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts

DOI 出版方

2021年份

5被引次数

摘要

We define sound and adequate denotational and operational semantics for the stochastic lambda calculus. These two semantic approaches build on previous work that used an explicit source of randomness to reason about higher-order probabilistic programs.

The function Fun 2 is injective:

We define Lam 2 to be the inverse of Fun 2 on the image of Fun 2 . Thus