{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T20:59:41Z”，“时间戳”：1725483581417}，“出版商位置”：“柏林，海德堡”，“参考计数”：4，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783839”540657637“}，{”类型“：”电子“，“value”：“9783540489597”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1999]]}，”DOI“：”10.1007\/3-540-48959-2_9“，”type“：”book-capter“，”created“：”{“date-part”：[2007,5,3]]，“date-time”：“2007-05-03T12:52:16Z”，“时间戳“：1178196736000}，”页面“：”98-113“，”源“：”交叉引用“，“is-referenced-by-count”：0，“title”：[“Every Unsolvable \u03bb Term has a Decoration”]，“prefix”：“10.1007”，“author”：[{“given”：“Ren\u00e9”，“family”：“David”，，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2002,5,27]]}，“reference”：[[{”key“：”9_CR1“，“unstructured”：“R.”。Kerth\u201c同构和u00e9等价性\u00e9quationnelle entre mod\u00e 8les du\u03bb calcul\u201d巴黎第七大学博士论文，1995年。“}，{“key”：“9_CR2”，“unstructured”：“R.Kerth\u 201c无类型微积分模型中不可解\u03bb项的解释。要出现在JSL 98中”}，“key“：”9_CR3“，“非结构化”：“R。Kerth\u201c关于无类型\u03bb微积分\u201d稳定模型的构造。出现在TCS“}，{“issue”：“n\u00b04”，“key”：“9_CR4”，“doi-asserted-by”：“publisher”，“first page”：”1054“，“doi”：“10.2307\/2275874”，“volume”：：“60”，“author”：“R.David”，”year“：”1995“unstructured”：“R David&K.Nour\u201cStorage operators and directed \u03bb calculations\u201d.JSL 60，n\u00b04；1054\u201310861995。“，”journal-title“：”JSL“}]，“container-title“：[“计算机科学课堂讲稿”，“Lambda Calculi与应用”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-48959-2_9”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期段”：[2019,2,16]]，“date-time“：”2019-02-16T06:49:39Z“，”timestamp“：1550299779000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com\/10.1007\/3-540-48959-2_9”}}，“副标题”：[]，“短标题”：[]，“已发布”:{“date-parts”：[[1999]]}，《国际标准书号》：[“9783540657637”，“9783549597”]，“references-count”：4，“URL”：“http://\/dx.doi.org\/10.1007\/3-540-48959-2_9”，“关系”：{}，“ISSN”：[“0302-9743”]，“ISSN-type”：[{“type”（类型）：“print”（打印），“value”（值）：“0302-7743”}]，“subject”（主题）：[]，“published”（发布）：{“date-parts”（日期-部分）：[[1999]]}}