×
乔治·巴奇;罗伯特·福伯;德克斯特·科赞;拉杜·马达尔;帕南加登，普拉卡什;达纳·斯科特

随机（lambda）演算的布尔值语义。 （英语） Zbl 1453.03006号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。669-678 (2018).

引用于1文件

MSC公司：

03B40型 组合逻辑与lambda演算
68甲18 函数编程和lambda演算
68问题55 计算理论中的语义学

关键词：

布尔值模型;随机\（lambda \）-演算;指称语义学;随机变量
PDF格式BibTeX公司 XML格式引用
\textit{G.Bacci}等人，摘自：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。669--678（2018；Zbl 1453.03006）
全文： 内政部 链接