×
卢卡·保里尼；Ronchi Della Rocca，西蒙

Call-by-value可解性。 （英语） 兹比尔0958.68061

西奥。通知。申请。 33，第6期，507-534（1999）.
摘要：从运算和逻辑的角度，定义并完全刻画了call-by-value（lambda）演算中的可解性概念。操作特征通过归约机给出，根据最内层的策略执行经典的（β）归约。事实上，事实证明，调用值约简规则太弱，无法捕捉项的可解性。逻辑特征通过交集类型赋值系统给出，将给定形状的类型赋值给所有且仅是调用值可解项。

引用于9文件

MSC公司：

2005年第68季度 计算模型（图灵机等）（MSC2010）
03日第10天 图灵机及其相关概念

关键词：

可解性；\（\lambda\）-微积分

软件：

哈斯克尔；毫升
PDF格式BibTeX公司 XML格式引用
\textit{L.Paolini}和\textit{S.Ronchi Della Rocca}，Theor。通知。申请。33，第6号，507--534（1999；Zbl 0958.68061）
全文： 内政部 欧洲DML 链接

参考文献：

[1] S.Abramsky和C.H.L.Ong，《懒惰Lambda演算中的拉动式抽象》。《信息与计算》105（1993）159-267。Zbl0779.03003 MR1226344号·Zbl 0779.03003号 ·doi:10.1006/inco.1993.1044
[2] H.Barendregt，《Lambda演算：其语法和语义》。北荷兰（1984）。兹伯利0551.03007 MR774952·Zbl 0551.03007号
[3] H.Barendregt、M.Coppo和M.Dezani-Ciancaglini，过滤器Lambda模型和类型赋值的完整性。《符号逻辑杂志》48（1983）85-116。Zbl0545.03004 MR727784号·Zbl 0545.03004号 ·doi:10.2307/2273659
[4] L.Egidi、F.Honsell和S.Ronchi Della Rocca，《操作、指称和逻辑描述：案例研究》。基金。通知。(1992) 149-169. Zbl0762.68042 MR1174365号·Zbl 0762.68042号
[5] J.R.Hindley和J.P.Seldin，组合与lambda-微积分导论。剑桥大学出版社（1986）。Zbl0614.03014 MR879272号·Zbl 0614.03014号
[6] F.Honsell和S.Ronchi Della Rocca，拓扑lambda模型的逼近定理和lambda演算的拓扑不完全性。J.计算。系统科学。45 (1992) 49-75. Zbl0763.03012 MR1170917号·兹比尔0763.03012 ·doi:10.1016/0022-0000（92）90040-P
[7] M.Hyland，兰姆达微积分某些模型中等式的句法特征。J.伦敦数学。Soc.（1976）361-370。Zbl0329.02010 MR396232号·Zbl 0329.02010 ·doi:10.1112/jlms/s2-12.3.361
[8] P.J.Landin，表达式的力学评估。计算。J.（1964年）。Zbl0122.36106号·Zbl 0122.36106号 ·doi:10.1093/comjnl/6.4.308
[9] R.Milner、M.Tofte和R.Harfen，《标准ML的定义》，M.I.T.（1990）。
[10] L.Paolini，La chiamata per valore e La valutazione pigra nel lambda calcolo（每个值的交叉点）。Tesi di Laurea，都灵大学，迪普。Informatica（1997）。
[11] G.Plotkin、按值调用、按名称调用和\lambda-演算。理论。计算。科学。(1975) 125-159. Zbl0325.68006 MR429501号·兹比尔0325.68006 ·doi:10.1016/0304-3975（75）90017-1
[12] S.Ronchi Della Rocca，基础\lambda-微积分。夏令营校样和类型注释，Chambery（1993）。
[13] G.L.Steele和G.J.Sussman，《方案修订报告》，AI Memo 452，M.I.T.（1978）。
[14] 哈斯克尔：函数式编程的技巧。Addison-Wesley（1996）。
[15] C.P.Wadsworth，lambda演算的Scott D infty模型的计算属性和指称属性之间的关系。SIAM J.计算。5 (1976) 488-522. Zbl0346.02013MR505308·Zbl 0346.02013.中 ·数字对象标识代码：10.1137/0205036
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。