{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T13:22:45Z”，“时间戳”：1725456165132}，“出版商位置”：“柏林\/Heidelberg”，“参考计数”：11，“出版者”：“Springer-Verlag”，“isbn-type”：[{“类型”：”打印“，“值”：“354017611 X“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[]，“DOI”：“10.1007\/bfb0014971”，“type”：“book-chapter”，“created”：{“date-parts”：[[2005,11,23]]，“date-time”：“2005-11-23T06:02:53Z”，“timestamp”：1132725773000}，《page》：“39-51”，“source”：《Crossref》，“is-referenced-by-count”：0，“title”：[“组合逻辑的综合抽象算法“]，”前缀“：“10.1007”，“作者”：[{“given”：“Adolfo”，“family”：“Piperno”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“reference”：[}“volume-title”：“Lambda Calculus，its Syntax and Semantics，Studies in Logic，Vol.103”，“year”：“1984”，“author”：“H.P.Barendregt”，“key”：”3_CR1“，“unstructured”：“-H.P.”。巴伦德雷格特，《兰姆达演算及其语法和语义》，《逻辑研究》，第103卷，北荷兰德，阿姆斯特丹（1984年）。“}，{”key“：”3_CR2“，”doi-asserted-by“：”crossref“，”unstructured“：”H.B.Curry，Grundlagen der kombinatorischen Logik，American Journal of Mathematics，Vol.52（1930）.“，”doi“：”10.2307\/2370619“}”，{“key”：“3_CR3”，“doi-assert-by”：“Crosref”，“unstructure”：“”-H。B.Curry，《组合子理论的一些补充》，《美国数学杂志》，第54卷（1932年）。“，”DOI“：”10.2307\/2370900“}，{“key”：“3_CR4”，“DOI-asserted-by”：“crossref”，“unstructured”：“H.B.Curry，从组合逻辑角度看的表观变量，数学年鉴，第34卷（1933）。”，“DOI”：“10.2307\/1968167”}，}“volume-title”：“组合逻辑，第1卷”，“年份”：“1958”，“author”：“H·B.Curry”，“key“：”3_CR5“，”unstructure“：”-H.B。Curry&R.Feys，《组合逻辑》，第1卷，北荷兰，阿姆斯特丹（1958年）。“｝，｛”key“：”3_CR6“，”doi asserted by“：”crossref“，”unstructured“：”R.J.M.Hughes，SuperCombinators:一种新的应用语言实现方法，Symp.on LISP and Funct.Progr.，ACM（1982年8月）。“，”doi“：”10.1145\/800068.802129“｝，｛”key“：”3_CR7“，”unstructured“：”-J.C.Mulder，组合码的复杂性，乌得勒支大学（int.rep.，1985）。“｝，｛”key“：”3_CR8“，”unstructured“：”-A.Piperno，Metodi di astrazione in logica combinatia:analisi，proposte，applicazioni，Tesi di laurea，1986。“}，{”volume-title“：”On translation lambda terms into combinatins:the basis problem“，”year“1986”，“author”：“R.Statman”，“key”：“3_CR9”，“unstructure”：“-R”。Statman，《关于将lambda术语翻译成组合词：基本问题》，LICS，Boston，1986年。“}，{”key“：”3_CR10“，”doi-asserted-by“：”crossref“，”unstructured“：”D.A.Turner，另一种括号抽象算法，《符号逻辑杂志》，第44卷第2期（1979年）。“，”doi“：”10.2307\/2273733“非结构化“：”D.A.Turner，《应用语言的新实现技术》，《软件实践与经验》，第9期（1979年）。“，”DOI“：”10.1002\/spe.4380090105“}]，”container-title“：[”计算机科学课堂讲稿“，”TAPSOFT'87“]，”原文标题“：[]，”language“：”en“，”link“：[{”URL“：”http://www.springerlink.com\/index\/pdf\/10007\/BFBb0014971“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]“，”“存放”：{date-parts“：[[2020,4,11]]，“date-time”：“2020-04-11T04:22:44Z”，“timestamp”：1586578964000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\link.springer.com\/10.1007\/BFb0014971”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[[null]}”，“ISBN”：[“354017611X”]，“references-”count“：11，”URL“：”http://\/dx.doi.org\/10.1007\/BFb0014971“，”关系“：{}，“主题”：[]}}