{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2023,9,4]]，“日期-时间”：“2023-09-04T18:31:50Z”，“时间戳”：1693852310792}，“出版商位置”：“柏林，海德堡”，“引用-计数”：0，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540657637”，“类型”：“print”}，{“value”：“9783540489597”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[1999,1,1]]，“date-time”：“1999-01-01T00:00:00Z”，“timestamp”：915148800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http:\\/www.springer.com\/tdm”}，”content-domain“：{”domain“[]，”crossmark-restriction“：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[1999]]}，“DOI”：“10.1007\/3-540-48959-2”，“type”：“book”，“created”：{“date-parts”：[[2007,5,3]]，“date-time”：“2007-05-03T16:52:16Z”，“timestamp”：1178211136000}，”source“：”Crossref“，”is-referenced-by-count“：3，”title“：[”Typed Lambda Calculi and Applications“]，”前缀“：”10.1007“，“member”：“297”，“published-on-line”“：{”日期部分“：[[2002,5,27]]}，“container-title”：[“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-48959-2.pdf”，“内容类型”：“application\/pdf”，“内容类型”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2019,5,19]]，“date-time”：“2019-05-19T13:06:51Z”，“timestamp”：1558271211000}，“score”：1，“resource”：{primary“URL”：“http://link.springer.com/10.1007\/3-540-48959-2”}}：[“第四届国际会议，TLCA\u201999 L\u2019Aquila，意大利，April 7\u20139，1999 Proceedings”]，“editor”：[{“given”：“Jean-Yves”，“family”：“Girard”，“sequence”：“first”，“affiliation”：[]}]，“shorttitle”：[]，“issued”：{“date-parts”：[[1999]]}，“ISBN”：[“9783540657637”，“9783549597”]，”references-count“：0，”URL“：“http://\/dx.doi.org\/10.1007\/3-540-48959-2”，“关系”：{}，“ISSN”：[“0302-9743”]，“ISSN-type”：[{“值”：“0302-7743”，“类型”：“打印”}]，“主题”：[]，“发布”：{“日期部分”：[1999]]}}}