{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,12]，“日期-时间”：“2023-01-12T14:09:32Z”，“时间戳”：1673532572730}，“引用-计数”：13，“发布者”：“Elsevier BV”，“问题”：“1-2”，“许可证”：[{“开始”：{:“日期-零件”：[[1993,12,1]]，“日期时间”：3-12-01T00:00:00Z“，”时间戳“：754704000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2013,7,17]]，“date-time”：“2013-07-17T00:00:00Z”，“timestamp”：1374019200000}，“content-version”：“vor”，“delay-in-days”：7168，“URL”：“http://\/www.elsevier.com/”/open-access\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Theoryal Computer Science”]，“published-print”：{“date-parts”：[[1993,12]]}，”DOI“：”10.1016\/0304-3975（93）90084-7“，”type“：”journal-article“，”created“：“source”：“Crossref”，“is-referenced-by-count”：14，“title”：[“关于简单lambda-terms的一些新结果”]，“prefix”：“10.1016”，“volume”：“121”，“author”：[{“given”：”Alessandro“，“family”：“Berarducci”，“sequence”：“first”，“affiliation”：[]}，{“given”:“Benedetto”，“faily”：”Intrigila“，”sequence“：”additional“，“afliation”:[]}]，“member”：“78”，“reference”：[}“密钥”：“10.1016\/0304-3975（93）90084-7_BIB1“，”doi asserted by“：”crossref“，”首页“：”111“，”doi“：”10.1016/S1385-7258（79）80006-2“，”文章标题“：”\u03a9可以是它不应该是的任何东西“，”卷“：”41“，”作者“：”Baeten“，”年份“：”1979“，”期刊标题“：”Indag“。数学。“}，{”key“：”10.1016\/0304-3975（93）90084-7_BIB2“，”article-title“：”Lambda Calculus“，”volume“：“Vol.103”，“author”：“Barendregt”，“year”：“1984”}，“key”：“10.1016\/0304-2975（93 title“：”在lambda演算中表示\u2018undefined\u2019，理论珍珠“，“volume”：“2”，“author”：“Barendregt”，“year”：“1992”，“journal-title”：“J.Funct”。编程“}，{”key“：”10.1016\/0304-3975（93）90084-7_BIB4“，”series-title“：”Alcune property\u00e0 delle forme\u03b2\u2013\u03b7-normal nel\u03bb\u2013K-calcolo“，”author“：”B\u00f6hm“，”year“：”1968“}”，{“issue”：“1”，“key”：“10.1016\/0304-375（93）90004-7_BIB5”，“article-title”：“A关于\u03bb-calculus中简单术语的问题“，“卷”：“XV”，“作者”：“Intrigila”，“年份”：“1991年”，“新闻标题”：“基金。通知。“}，{”key“：”10.1016\/0304-3975（93）90084-7_BIB6“，”article-title“：”识别任何组合逻辑模型的两个元素的条件“，”volume“：“Vol.37”，”author“：”Jacopini“，”year“：”1975“}”，{“key”：“10.1016\/0304-2975（93Jacopini“，“年份”：“1978年”，“新闻标题”：“Quaderni dello IAC，serie III，N.85，Roma”}，{“问题”：“2”，“关键”：“10.1016\/0304-3975（93）90084-7_BIB8”，“文章标题”：《lambda-calculus中的简单术语》，“卷”：“VIII”，“作者”：“Jacopini”，5（93）90084-7_BIB9“，“序列号”：”\u03bb-Kalk\u00fclus，\u03c3-Konversion und Axiomatische Recursions Theory“，”author“：”Mitschke“，”year“：”1976“}，{”key“：”10.1016\/0304-3975（93）90084-7_BIB10“，”series-title“：”Res.Report No.89-61“，”article-title“：“组合词的正常变体”，“author”：“Statman”，“year”：“1989”}，”{“key”：“10.1016\/0304-975（93）90004-7_BIB 11“，”文章标题“：”维瑟不动点定理”，“作者”：“Statman”，“年份”：“1990”，“日记标题”：“手写笔记”}，{“关键字”：“10.1016\/0304-3975（93）90084-7_BIB12”，“非结构化”：“A.维瑟，数值，u03bb-calculus&algorithm，in：J.R.Hindley和J.P.Seldin，eds.，To H.B。柯里：《关于组合逻辑、Lambda演算和形式主义的论文》（纽约学术出版社）259-284.“}，{”键“：”10.1016\/0304-3975（93）90084-7_BIB13“，”文章标题“：”Sintaxe et semantique de la facilit\u00e9 en Lambda calcul“，”卷“：”VII“，”作者“：”Zylberajch“，”年份“：”1991“}]，”容器标题“：[”理论计算机科学“]，”原文标题“：[]，“语言”：“en”，“链接”：[｛“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:00304397593900847？httpAccept=text\/xml”，“内容类型”：“text\/xml”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”｝，｛“URL”：“https:\/\/api.elsevier.com/content\/article\/PII:00304397593900847？httpAccept=text\/plain”，“内容类型”：“text\/平原”，“content-version”：“vor”，“intended-application”：“text-mining”}]，“deposed”：{“date-parts”：[[2019,4,12]]，“date-time”：“2019-04-12T13:58:30Z”，“timestamp”：1555077510000}，“score”：1，“resource”：{“primary”：{URL：“https:\/\/linkinghub.elsevier.com\/retrieve\/piii\/0304397593900847”}}，“：[]，”已发布“：{”日期部分“：[[1993,12]]}，“references-count”：13，“journal-issue”：{“issue”：“1-2”，“published-print”：{“date-parts”：[[1993,12]]}}，“alternative-id”：[“03043970847”]，“URL”：“http://\/dx.doi.org\/10.1016\/0304-3975（93）90084-7”，“relation”：{}，”ISSN“：[”0304-975“]，”ISSN-type“：[{”value“0304-3975”，“”键入“：”print“}]，“subject”：[]，“published”：{“date-parts”：[[1993,12]]}}}