{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,3,29]]，“日期时间”：“2022-03-29T12:53:57Z”，“时间戳”：1648558437416}，“发布者位置”：“柏林，海德堡”，“引用计数”：0，“发布商”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540732273”，“类型”：“打印”}，{“值”：“9783540732280”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2007,1,1]]，“date-time”：“2007-01-01T00:00:00Z”，“timestamp”：11676096000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]}，“short-container-title”：[]，“published-print”：{“date-parts”：[2007]]}，“DOI”：“10.1007\/978-3-540-73228-0”，“type”：“book”，“created”：{“date-parts”：[[2007,7,16]]，“date-time”：“2007-07-16T15:57:11Z”，“timestamp”：1184601431000}，”source“：”Crossref“，”is-referenced-by-count“：0，”title“：[”Typed Lambda Calculi and Applications“]，”前缀“：”10.1007“，“member”：“297”，“container-ti”tle“：[“计算机科学课堂讲稿”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-73228-0.pdf”版本“：”vor“，“意向应用程序”：“相似性检查”}]，“存放”：{“日期-部分”：[[2020,1,8]]，“日期-时间”：“2020-01-08T16:38:33Z”，“时间戳”：1578501513000}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\\link.sprimary.com\/10007\/978-3-540-73228-0”}，”字幕“[”第八届国际会议，TLCA 2007，法国巴黎，2007年6月26-28日。会议记录“]，”编辑“：[｛”给定“：”Simona Ronchi“，”家族“：”Della Rocca“，”序列“：”第一个“，”附属关系“：[]｝]，”短标题“：[]，”已发布“：｛”日期部分“：[[2007]｝，”国际标准图书编号“：[”9783540732273“，”9783540732280“]，”参考文献计数“：0，”URL“：”http:\/\/dx.doi.org/10.1007\/978-3-540-73228-0“，”relationship“：｛｝，”ISSN“：[“0302-9743”，“1611-3349”]，“ISSN类型”：[｛”value“：”0302-9743“，”type“：”print“}，”{“value”：“1611-3349”，“type”：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[[2007]]}}}