{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,8,12]，“日期时间”：“2024-08-12T18:38:14Z”，“时间戳”：1723487894668}，“引用计数”：15，“发布者”：“EDP Sciences”，“问题”：“6”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”shortcontainer-title“：[“RAIRO-Theor.Inf.应用程序”]，“published-print”：{“date-parts”：[[1999,11]]}，“DOI”：“10.1051\/ita:1999130”，“type”：“journal-article”，“created”：{“date-parts”：[[2003,11,14]]，“date-time”：“2003-11-14T10:07:32Z”，“timestamp”：1068804452000}，”page“：”507-534“source”：”Crossref“，”is-referenced-by-count“：20，”title“：[”Call-by-value可解性“]，”prefix“：”10.1051“，”volume“：”33“，”author“：[{“given”：“Luca”，“family”：“Paolini”，“sequence”：“first”，“affiliation”：[]}C.H.L.公司。Ong，《Lazy Lambda微积分中的完全抽象》。信息与计算105（1993）159-267.“，”DOI“：”10.1006\/inco.1993.1044“}，{“key”：“R2”，“unstructured”：“H.Barendregt，The Lambda Calculus:Its syntax and semantics.North Holland（1984）。”}，“key“：”R3“，”DOI-asserted-by“：”crossref“，”unstructure“：”H.Barndregt，M.Coppo and M。Dezani-Ciancaglini，过滤器Lambda模型和类型赋值的完整性。J.Symbolic Logic48（1983）85-116。“，”DOI“：”10.2307\/2273659“}，{”key“：”R4“，”unstructured“：”L.Egidi，F.Honsell和S.Ronchi Della Rocca，《操作、指称和逻辑描述：案例研究》。Fund.Inform.（1992）149-169。“}”，{“key”：”R5“，”非结构化“：”J.R.Hindley和J.P。塞尔丁，合成器简介和\u03bb-Calculus。剑桥大学出版社（1986）。“}，{”key“：”R6“，”doi-asserted-by“：”crossref“，”unstructured“：”F.Honsell和S.Ronchi Della Rocca，拓扑lambda模型的近似定理和lambda微积分的拓扑不完全性。计算机系统科学杂志。45（1992）49-75.“，”doi“：”10.1016\/0022-0000（92）90040-P“}”，{“key”：“R7”，“doi-assert-by”：“crossref.”，“unstructure”：“M。Hyland，Lambda微积分某些模型中等式的句法特征。伦敦数学杂志。Soc.（1976）361-370.“，”DOI“：”10.1112\/jlms\/s2-12.3.361“}，{”key“：”R8“，”DOI-asserted-by“：”crossref“，”unstructured“：”P.J.Landin，The mechanical evaluation of expressions.Comput.J.（1964）.“，“DOI”：“10.1093\/comjnl/6.4.308”}，“key”：“R9”，“unstructure”：“R.Milner，M.Tofte and R.Harfen，标准ML的定义，M.I.T.（1990））。“}，{”键“：”R10“，”非结构化”：“L.Paolini，La chiamata per valore e La valutazione pigra nel lambda calcolo。Tesi di Laurea，都灵大学。Informatica（1997）。“}，{”key“：”R11“，”doi-asserted-by“：”crossref“，”unstructured“：”G.Plotkin，Call by value，Call by name and the \u03bb-calculus.Theoret.Compute.Sci.（1975）125-159.“，”doi“：”10.1016\/0304-3975（75）90017-1“}”，{“key”：“R12”，“unstructure”：“S.Ronchi Della Rocca，Basic\u03bb-calcuulus.暑期学校证明和类型注释，Chambery（1993）。“}，{“密钥”：“R13“，“非结构化”：“G.L.Steele和G.J.Sussman，关于方案的修订报告，AI备忘录452，M.I.T.（1978）。“}，{”key“：”R14“，”unstructured“：”S.Thompson，HASKELL:函数编程的手艺。Addison-Wesley（1996）。“}”，{“key”：“R15”，“doi-asserted-by”：“crossref”，“unstructure”：“C.P.Wadsworth，lambda calculus的Scott D\u221e模型的计算特性与指称特性之间的关系。SIAM J.Compute.5（1976）488-522.”，“doi”：“10.1137\/0205036“｝]，“容器标题”：[“RAIRO-理论信息学和应用”]，“原始标题”：[]，“链接”：[｛“URL”：“http:\/\/www.reiro-ita.org/10.1051\/ita:1999130\/pdf”，“内容类型”：“未指定”，“内容版本”：“vor”，“预期应用”：“相似性检查”｝]，“存放”：｛“日期部分”：[[2018,3,23]]，“日期时间”：“2018-03-23T07:03:06Z“，”timestamp“：1521788586000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/www.rairo-ita.org\/10.1051\/ita:199130”}}，“subtitle”：[]，“short title”：[]，“issued”：{“date-parts”：[[1999,11]]}，《references-count》：15，“journal-issue”：{-“issue”：“6”}、“alternative-id”：[”ita9926“]，”URL“：“http://\/dx.doi.org\/10.1051\/ita:1999130”，“关系“：{}，”ISSN“：[”0988-3754“，”1290-385X“]，”ISSN-type“：[{”value“：”09883-3754“，”type“:”print“}，{”value“：”1290-38.5X“，”类型“：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[[1999,11]]}}}}