Universal Semantics for the Stochastic λ-Calculus

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

arxiv（2021）

引用 6|浏览40

暂无评分

摘要

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.

查看译文

关键词

Computer science,Semantics,Probabilistic logic,Calculus

AI 理解论文

溯源树

样例

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

Chat Paper

正在生成论文摘要