摘要
萨姆森·阿布拉姆斯基。 1990年，《懒惰的兰姆达微积分》。 Addison Wesley Longman出版有限公司，美国，65-116。 谷歌学者 
Samson Abramsky和C-H Luke Ong。 1993。惰性lambda演算中的完全抽象。 信息与计算105，2（1993），159--267。 谷歌学者 数字图书馆 
Hendrik P Barendregt等人，1984年。 lambda演算。 第3卷。 荷兰阿姆斯特丹北部。 谷歌学者 吟游诗人布鲁姆。 1990.LCF能被超越吗？ 类型λ-演算的平格模型。 信息与计算87，1-2（1990），264--301。 谷歌学者 数字图书馆 皮埃尔·克莱兰堡和雨果·帕奎特。 2018年，概率λ演算的完全抽象模型。 在2018年9月4日至7日于英国伯明翰举行的第27届EACSL计算机科学逻辑年会上，Dan R.Ghica和Achim Jung（编辑），第119卷。 达格斯图尔城堡-莱布尼茨信息中心，16:1至16:17。 https://doi.org/10.4230/LIPIcs.CSL.2018.16 谷歌学者 拉斐尔·克鲁比莱和乌戈·达尔·拉戈。 2014.关于概率应用互模拟和Call-by Valueλ-Calculi。 《程序设计语言与系统》，钟绍主编。 施普林格-柏林-海德堡，柏林，海德堡。 谷歌学者 拉斐尔·克鲁比莱、乌戈·达尔·拉戈、戴维德·桑吉奥吉和瓦莱丽亚·维格努德利。 2015年，关于应用相似性、顺序性和完全抽象。 在正确的系统设计中。 斯普林格，65-82。 谷歌学者 Gianluca Curzi和Michele Pagani。 2020年，概率Lambda-calculus非模糊的好处。 arX输入：cs。 LO/2004.12891号 谷歌学者 乌戈·达尔·拉戈和玛格丽塔·佐齐。 2012.lambda演算的概率运算语义。 RAIRO-理论信息学与应用46，3（2012），413--450。 谷歌学者 交叉引用 
文森特·达诺斯和托马斯·埃尔哈德。 2011.概率相干空间作为高阶概率计算的模型。 信息与计算209，6（2011），966--991。 谷歌学者 数字图书馆 托马斯·埃尔哈德（Thomas Ehrhard）、米歇尔·帕加尼（Michele Pagani）和克里斯汀·塔森（Christine Tasson）。 2011.概率相干空间的计算意义。 2011年6月21日至24日在加拿大安大略省多伦多举行的第26届IEEE计算机科学逻辑年会论文集。 IEEE计算机协会，87-96。 https://doi.org/10.1109/LICS.2011.29 谷歌学者 数字图书馆 托马斯·埃尔哈德（Thomas Ehrhard）、米歇尔·帕加尼（Michele Pagani）和克里斯汀·塔森（Christine Tasson）。 2018年，概率PCF的完整抽象。 J.ACM 65，4（2018），23:1--23:44。 https://doi.org/10.1145/3164540 谷歌学者 数字图书馆 托马斯·埃尔哈德（Thomas Ehrhard）、克里斯汀·塔森（Christine Tasson）和米歇尔·帕加尼（Michele Pagani）。 2014.概率相干空间对于概率PCF是完全抽象的。 2014年1月20日至21日，在美国加利福尼亚州圣地亚哥举行的第41届ACM SIGPLAN-SIGACT编程语言原则年度研讨会上，Suresh Jagannathan和Peter Sewell（编辑）。 美国医学会，309--320。 https://doi.org/10.1145/2535838.2535865 谷歌学者 数字图书馆 道格拉斯·J·豪。 1996.证明函数式编程语言中互模拟的一致性。 信息与计算124，2（1996），103--112。 谷歌学者 数字图书馆 西蒙娜·卡斯特罗维奇和米歇尔·帕加尼。 2019.Let-In算子在Lazy Call by Name概率lambda微积分中的判别力。 在2019年6月24日至30日于德国多特蒙德举行的第四届国际计算和扣除形式结构会议上，Herman Geuvers（Ed.），第131卷。 达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik），26:1-26:20。 https://doi.org/10.4230/LIPIcs.FSCD.2019.26 谷歌学者 乌戈·达尔·拉戈（Ugo Dal Lago）、大卫·桑吉奥吉（Davide Sangiorgi）和米歇尔·阿尔贝蒂（Michele Alberti）。 2014.关于高阶概率函数程序的共推等价性。 2014年1月20日至21日，在美国加利福尼亚州圣地亚哥举行的第41届ACM SIGPLAN-SIGACT编程语言原则年度研讨会上，Suresh Jagannathan和Peter Sewell（编辑）。 美国医学会，297--308。 https://doi.org/10.1145/2535838.2535872 谷歌学者 数字图书馆 Jim Laird、Giulio Manzonetto、Guy McCusker和Michele Pagani。 2013.类型化Lambda-Calculi的加权关系模型。 2013年6月25日至28日，美国洛杉矶新奥尔良，2013年LICS，第28届ACM/IEEE计算机科学逻辑年会。 IEEE计算机学会，301-310。 https://doi.org/10.1109/LICS.2013.36 谷歌学者 Kim G Larsen和Arne Skou。 1991年，通过概率测试进行相互模拟。 信息与计算94，1（1991），1-28。 谷歌学者 托马斯·利文提斯。 2018年，概率Böhm树和概率分离。 在2018年7月9日至12日于英国牛津举行的第33届ACM/IEEE年度计算机科学逻辑研讨会论文集中，Anuj Dawar和Erich Grädel（编辑）。 美国医学会，649--658。 https://doi.org/10.1145/3209108.3209126 谷歌学者 数字图书馆 托马斯·莱文提斯和米歇尔·帕加尼。 概率相干空间的强充分性和非类型全抽象。 在软件科学和计算结构基础-第22届国际会议，FOSSACS 2019，作为欧洲软件理论和实践联席会议的一部分举行，ETAPS 2019，捷克共和国布拉格，2019年4月6日至11日，会议记录（计算机科学讲义），Mikolaj Bojanczyk和Alex Simpson（编辑）， 第11425卷。 斯普林格，365-381。 https://doi.org/10.1007/978-3-030-17127-8_21 谷歌学者 罗宾·米尔纳。 1977。型λ-演算的完全抽象模型。 理论计算机科学4，1（1977），1-22。 谷歌学者 交叉引用 中岛贤治。 1975。λ-演算的无限正规形。 《λ-微积分与计算机科学理论》，C.Böhm（Ed.）。 施普林格-柏林-海德堡，柏林，海德堡。 谷歌学者 戈登·普洛金（Gordon D.Plotkin）。 1977年，LCF被视为一种编程语言。 理论计算机科学5，3（1977），223--255。 谷歌学者 彼得·塞斯托夫特。 2002年，演示lambda演算归约。 计算的本质。 施普林格，420-435。 谷歌学者 数字图书馆 弗兰克·范·布鲁格尔（Frank van Breugel）、迈克尔·米斯洛夫（Michael Mislove）、乔尔·瓦克宁（Joel Ouaknine）和詹姆斯·沃雷尔（James Worrel）。 2005.标记马尔可夫过程的领域理论、测试和模拟。 理论计算机科学333，1（2005），171--197。 https://doi.org/10.1016/j.tcs.2004.10.021 软件科学和计算结构基础。 谷歌学者 数字图书馆
建议
概率Böhm树与概率分离 LICS’18：第33届ACM/IEEE计算机科学逻辑年会论文集 我们研究了call-by-name概率λ-演算中的观测等价性概念，其中两个项被称为观测等价，如果在任何情况下，它们的头部减少以相同的概率收敛。 我们的目标是概括。。。 线性代数λ-演算的标量系统F：走向量子物理逻辑 线性代数@l-Calculus[Arrighi，P.和G.Dowek，Linear-Algebraic@l-Calculus:高阶，编码和汇合，《计算机科学课堂讲稿》（RTA'08）5117（2008），第17-31]扩展了@l-演算的可能性。。。
