托马斯·利文提斯 概率Böhm树和概率分离。 （英语） Zbl 1453.03009号 2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。649-658 (2018). 引用于1审查引用于三文件 MSC公司： 03B40型 组合逻辑与lambda演算 关键词：Böhm树;观察等价;概率lambda-calculus;分离 PDF格式BibTeX公司 XML格式引用 \textit{T.Leventis}，in：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。649--658（2018；Zbl 1453.03009） 全文： DOI程序