随机Lambda演算与概率分布的单数
概率分布为有助于表达概率语言，支持形式化建模和推理关于不确定性。概率分布形成单子，一元定义导致了一个简单、自然的的语义随机的lambda微积分，以及简单的，公共查询的干净实现。但是期望查询与当前的最佳实践相比概率建模。因此，我们提出了一种语言度量术语，其中不仅可以表示离散概率分布，还可以支持最著名的建模技术。我们将随机lambda演算转化为测度条款。是否转化为概率单数或量词，翻译结果表示相同的概率分布。全文
该文件可作为美国信函PostScript（439K），美国信函PDF（289K--可能是片状的），和美国文字母TeX DVI（99K）。你也可以看到POPL'02演讲幻灯片.