摘要
Abramsky，S.、Malacaria，P.和Jagadeesan，R.1994年。 PCF的完全抽象。 《计算机软件的理论方面》（TACS），M.Hagiya和J.C.Mitchell主编，《计算机科学讲义》，第789卷。 施普林格（日本岑岱），1-15。 谷歌学者 
数字图书馆 
Asperti，A.和Chroboczek，J.1997年。 安全操作人员：支架永远关闭。 申请。 代数工程通讯。 计算。 8, 6, 437--468. 谷歌学者 交叉引用 
Asperti，A.和Guerrini，S.1998年。 函数式编程语言的优化实现。 剑桥理论计算机科学丛书，第45卷。 剑桥大学出版社，纽约。 谷歌学者 数字图书馆 Asperti，A.和Mairson，H.G.1998年。 并行beta缩减并不是简单的递归。 在编程语言原理研讨会的会议记录中。 303到315之间。 谷歌学者 数字图书馆 Chetlur，M.、Abu-Ghazaleh，N.、Radhakrishnan，R.和Wilsey，P.A.，1998年。 优化时间扭曲模拟器中的通信。 第十二届ACM-IEEE-SCS并行和分布式仿真研讨会论文集（加拿大阿尔伯塔省班夫，5月）。 IEEE计算机学会出版社，加利福尼亚州洛斯阿拉米托斯，64-71。 谷歌学者 数字图书馆 Danos，V.、Pedicini，M.和Regnier，L.，1997年。 定向虚拟缩减。 第十届计算机科学逻辑国际研讨会论文集，M.B.D.van Dalen，Ed.计算机科学讲义，第1258卷。 柏林施普林格-弗拉格，76-88。 谷歌学者 数字图书馆 Danos，V.和Regnier，L.，1993年。 局部和异步β-还原（Girard的EX形态分析）。 第八届计算机科学逻辑年度研讨会论文集（加拿大蒙特利尔）。 IEEE计算机学会出版社，加利福尼亚州洛斯阿拉米托斯，296--306。 谷歌学者 Dickens，P.M.、Nicol，D.、Reynolds，P.F.和Duva，J.，1996年。 有界时间偏差分析及与YAWNS的比较。 ACM事务处理。 模型。 计算。 模拟。 6, 4, 297--320. 谷歌学者 数字图书馆 Führmann，C.和Pym，D.J.，2004年。 关于经典逻辑的交互几何。 在一年一度的IEEE计算机科学逻辑研讨会（LICS）上发表。 IEEE计算机学会出版社，加利福尼亚州洛斯阿拉米托斯，211-220。 谷歌学者 交叉引用 Girard，J.-Y.1989年。 交互几何1：系统F的解释。《逻辑学术讨论会论文集》，R.Ferro等人，《北荷兰人》编辑。 221--260. 谷歌学者 交叉引用 Girard，J.-Y.，1995年。 轻型线性逻辑。 《逻辑和计算复杂性国际研讨会论文集》，D.Leivant，Ed.计算机科学讲稿，第960卷。 柏林斯普林格·弗拉格，145-176。 谷歌学者 数字图书馆 Gonthier，G.、Abadi，M.和Lévy，J.-J.1992年。 最佳λ减少的几何结构。 第19届美国计算机学会编程语言原理研讨会论文集（新墨西哥州阿尔伯克基，1月）。 ACM出版社，纽约。15-26。 谷歌学者 数字图书馆 Haghverdi，E.和Scott，P.，2004年。 交互几何的分类模型。 在自动化、语言和编程国际学术讨论会（ICALP）的会议记录中。 计算机科学讲义，第3142卷。 施普林格出版社，708-720。 谷歌学者 Joyal，A.，Street，R.和Verity，D.，1996年。 跟踪单体类别。 数学。 程序。 外倾角。 菲洛斯。 第119页，第3447-468页。 谷歌学者 交叉引用 Lafont，Y.1990年。 交互网络。 在第17届ACM编程语言原理研讨会上（加州旧金山，1月17日至19日）。 纽约ACM，95-108。 谷歌学者 数字图书馆 Lamping，J.1990年。 一种优化lambda演算约简算法。 第17届美国计算机学会编程语言原理研讨会论文集（加利福尼亚州旧金山）。 纽约ACM，16-30。 谷歌学者 数字图书馆 Laurent，O.，2001年。 用于完整交互几何体的令牌机（扩展抽象）。 《第五届国际键入Lambda演算与应用会议论文集》，S.Abramsky主编，《计算机科学讲稿》，第2044卷。 斯普林格·弗拉格，283-297。 谷歌学者 数字图书馆 莱维，J.-J.1978年。 约简修正和优化了dans le lambda计算。 巴黎第七大学博士论文。 谷歌学者 Mackie，I.1994年。 实施的几何结构。 帝国理工学院计算机系博士论文。 谷歌学者 Mackie，I.1997年。 分布式实现交互网络的静态分析。 第四届国际静态分析研讨会（SAS）论文集，P.van Hentenryck，Ed.计算机科学讲稿，第1302卷。 柏林施普林格·弗拉格，217--231。 谷歌学者 数字图书馆 Mascari，G.和Pedicini，M.1998年。 部分可加类别中的类型和动态。 《在Idempotency》，J.Gunawardena主编，剑桥大学出版社，纽约，112-132。 谷歌学者 Pedicini，M.1996年。 关于初等线性逻辑的备注。 在Theor。 计算。 科学。 197, 1--2. 理论计算机科学电子笔记，第3卷。 荷兰阿姆斯特丹爱思唯尔。 谷歌学者 Pedicini，M.1999年。 执行和程序。 巴黎第七大学博士论文。 谷歌学者 Petrich，M.1984年。 逆半群。 约翰·威利。 谷歌学者 平托，J.S.，2001年a。 使用MPINE并行评估交互网络。 《重写技术与应用国际会议论文集》，A.Middeldorp，Ed.计算机科学讲稿，第2051卷。 施普林格，353--356。 谷歌学者 数字图书馆 平托，J.S.2001b。 使用交互几何的lambda-calculus并行实现模型。 兰姆达微积分类型和应用国际会议论文集（TLCA）。 385--399. 谷歌学者 交叉引用 平托，J.S.2001c。 线性逻辑的并行实现（交互网络和交互几何的应用）。 埃科尔理工学院博士论文。 谷歌学者 Xu，Z.和Hwang，K.，1996年。 建模通信开销：IBM SP上的MPI和MPL性能。IEEE Parallel Distribute.Technol。 4, 1, 9--24. 谷歌学者 数字图书馆
建议
支持PELCR中的函数调用 在[M.Pedicini和F.Quaglia.A parallel implementation for optimal lambda-calculus reduction PPDP'00:Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming，pages 3-14，ACM，2000，M。。。 优化最优约简：一种初等仿射逻辑的类型推理算法 我们提出了初等仿射逻辑（EAL）中lambda项的类型推理算法。 该算法对简单类型lambda项的语法树进行修饰，并收集一组线性约束。 结果是可以。。。
