文件大小：1.08 MB 18页
萨莱长期猜想的反驳
作者
-
部分： 体积： 第二届计算和演绎形式结构国际会议（FSCD 2017）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算和演绎的形式结构（FSCD） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2017-08-30
文件
文件标识符
引用为 获取BibTex
摘要
关键词
λ演算 观察等价 Böhm树 omega规则
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
亨德里克·巴伦德雷格特。 组合逻辑和λ-演算的一些扩展项模型。 荷兰乌得勒支大学博士论文，1971年。 
-
亨德里克·巴伦德雷格特。 lambda演算及其语法和语义。 逻辑和数学基础研究排名103。 北荷兰，第二版，1984年。
-
Hendrik P.Barendrigt、Jan A.Bergstra、Jan Willem Klop和Henri Volken。 合理λ理论的程度。 符号逻辑杂志，43（1）：45-551978。
-
弗拉维恩·布鲁瓦特。 关于模型的特征 ℋ^*. 《CSL-LICS’14》编辑汤姆·亨津格和戴尔·米勒，第24:1-24:10页。 ACM，2014年。
-
弗拉维恩·布鲁瓦特（Flavien Breuvart）、朱利奥·曼佐内托（Giulio Manzonetto）、安德鲁·波隆斯基（Andrew Polonsky）和多梅尼科·鲁波洛（Domenico Ruopolo）。 莫里斯观测理论的新结果。 Delia Kesner和Brigitte Pientka主编，《计算和演绎的形式结构》，LIPIcs第52卷，第15:1-15:18页。 Schloss Dagstuhl，2016年。
-
马特·布朗（Matt Brown）和延斯·帕尔斯伯格（Jens Palsberg），《突破正常化障碍：F-omega的自我解读》。 Rastislav Bodík和Rupak Majumdar，编辑，《第43届ACM SIGPLAN-SIGACT编程语言原则研讨会论文集》，POPL 2016，第5-17页。 ACM，2016年。
-
马里奥·科波（Mario Coppo）、马里安吉拉·德扎尼·西安卡利尼（Mariangiola Dezani-Ciancaglini）和帕特里克·萨莱（Patrick Sallé）。 lambda-calculus中一些语义等式的功能表征。 《自动化、语言和编程》编辑赫尔曼·A·莫勒（Hermann A.Maurer），《计算机科学讲义》第71卷，第133-146页。 施普林格，1979年。
-
马里奥·科波、马里安吉拉·德扎尼·西安卡里尼和马达莱娜·扎基。 类型理论、范式和 𝒟_∞- lambda模型。 信息与计算，72（2）：85-1161987。
-
Pietro Di Gianantonio、Gianluca Franco和Furio Honsell。 非类型λβη-演算的博弈语义。 《打字兰姆达微积分与应用》，计算机科学讲义第1581卷，第114-128页。 斯普林格，1999年。
-
托马斯·吉文·威尔森和巴里·杰伊。 内部结构的组合说明。 J.塞姆。 日志。， 76(3):807-826, 2011.
-
泽维尔·古伊。 λ-计算稳定模式的理论和固有算法。 巴黎大学博士学位，1995年7月。
-
马丁·海兰德。 关于λ-演算中一些有用的偏序关系的综述。 在Lambda-微积分和计算机科学理论中，计算机科学讲义第37卷，第83-95页。 斯普林格，1975年。
-
马丁·海兰德。 λ-演算的一些模型中等式的句法特征。 伦敦数学学会杂志（2），12（3）：361-3701975/76。
-
Benedetto Intrigila和Monica Nesi。 关于η-恒等式展开式的结构性质。 信息处理。 莱特。， 87(6):327-333, 2003.
-
贝内代托·因特里吉拉（Benedetto Intrigila）和理查德·斯塔特曼（Richard Statman）。 ω法则是∏ ₂⁰- λβ演算很难。 计算机科学中的逻辑专题讨论会（LICS 2004），第202-210页。 IEEE计算机学会，2004年。
-
贝内代托·因特里吉拉（Benedetto Intrigila）和理查德·斯塔特曼（Richard Statman）。 欧米茄定律是∏¹ ₁- 在λβ演算中完成。 《计算机科学中的逻辑方法》，5（2），2009年。
-
珍妮·雅克·莱维。 Böhm dans le lambda-calcul近似值。 在伯纳德·罗比内特（Bernard Robinet）编辑的《Lambda Calcul et Sémantique formelle des langages de programmation》中，《信息时代印刷品法案》（Actes de la 6ème ecole de printemps d’Informatique theorique），拉查特，LITP-ENSTA，第239-257页，1978年。 （法语）。
-
Stefania Lusin和Antonino Salibra。 λ-理论的格。 逻辑与计算杂志，14（3）：373-3942004。
-
朱利奥·曼佐内托。 模型的一般类 ℋ^*. 拉斯蒂斯拉夫·克拉洛维奇（Rastislav Královic）和达米安·尼温斯基（Damian Niwinski）主编，《2009年计算机科学数学基础》（Mathematical Foundations of Computer Science），计算机科学讲义第5734卷，第574-586页。 施普林格，2009年。
-
朱利奥·曼佐内托和多梅尼科·鲁阿波洛。 关系图模型、泰勒展开和可拓性。 理论计算机科学电子笔记，308:245-2722014。
-
托本Æ。 莫根森。 lambda演算中的有效自我解释。 J.功能。 程序。， 2(3):345-363, 1992.
-
詹姆斯·莫里斯。编程语言的兰姆达演算模型。 1968年，麻省理工学院博士论文。
-
戈登·普洛金（Gordon D.Plotkin）。 λ-演算是ω-不完全的。 符号逻辑杂志，39（2）：313-3171974。
-
安德鲁·波隆斯基。 公理化报价。 马克·贝泽姆（Marc Bezem），计算机科学逻辑（CSL’11）——第25届国际研讨会/欧洲计算机科学联盟第20届年会编辑，《莱布尼茨国际信息学学报》（LIPIcs）第12卷，第458-469页，德国达格斯图尔，2011年。 达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik）。
-
Simona Ronchi Della Rocca和Luca Paolini。 参数λ-微积分：计算的元模型。 EATCS系列。 施普林格，柏林，2004年。
-
帕特里克·萨莱（Patrick Sallé）。 λ-计算类型的非扩展。 1978年7月17日至21日，意大利乌迪内，《语言与编程：第五次学术讨论会》，自动化编辑Giorgio Ausiello和Corrado Böhm著，第398-410页。 施普林格-柏林-海德堡，1978年。
-
达纳·S·斯科特。 连续晶格。 Lawvere主编，《拓扑、代数几何和逻辑》，数学课堂讲稿第274卷，第97-136页。 施普林格，1972年。
-
Paula Severi和Fer-Jan de Vries。 一个扩展的Böhm模型。 Sophie Tison主编，《重写技术与应用：第13届国际会议》，RTA 2002，第159-173页。 施普林格-柏林-海德堡，2002年。
-
Paula Severi和Fer-Jan de Vries。 无限η-Böhm树的无限lambda演算。 计算机科学中的数学结构，27（5）：681-7332017。
-
克里斯托弗·沃兹沃思。 Scott的计算性质和指称性质之间的关系 𝒟_∞- lambda-calculus模型。 SIAM计算机杂志，5（3）：488-5211976。