L O ] 1 4 M ay 2 02 1 Universal Semantics for the Stochastic λ-Calculus

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

semanticscholar（2021）

引用 0|浏览2

暂无评分

摘要

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.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要