{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T21:58:32Z”，“时间戳”：1725487112898}，“出版商位置”：“柏林，海德堡”，“参考计数”：8，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540732273“}，{”类型“：”电子“，“value”：“9783540732280”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2007]]}，”DOI“：”10.1007\/978-3-540-73228-0_18“，”type“：”book-chipter“，”created“：”{“date-part”：[2007,7,16]]，“date-time”：“2007-07-16T15:57:11Z“，”timestamp“：1184601431000}，”page“：”240-254“，”source“：“Crossref”，“is-referenced-by-count”：4，“title”：[“两级交叉口类型的居住问题”]，“prefix”：“10.1007”，”author“：[{“given”：“Dariusz”，“family”：“Ku\u015bmierek”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“issue”：“2”，“key”：”18_CR1“，”doi-asserted-by“：”publisher“，“first page”：“108”，“doi”：“10.1016\/j.tcs.2006.01.004”，“volume”：“355”，“author”：“F.Alessi”，“year”：“2006”，“unstructured”：“Alessi，F.，Barbanera：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“297”，“doi”：“10.1007”/BFb0014060”，“volume-title”：“Typed Lambda Calculi and Applications”，“author”：“T.Kurata”，“year”：“1995”，“unstructured”：“Kurata，T.，Takahashi，M.：交叉型系统的可判定属性。in:Dezani-Ciancaglini，M..，Plotkin，G.（eds.）TLCA 1995年。LNCS，第u00a0902卷，第297\u2013311页。Springer，Heidelberg（1995）“}，{”key“：”18_CR3“，”首页“：”88“，”volume-title“：”第十届ACM编程语言原理研讨会论文集“，”author“：”D.Leivant“，”year“：”1983“，”unstructured“：”Leivant，D.：多态类型推断。摘自：第十届美国计算机学会编程语言原理研讨会论文集，德克萨斯州奥斯汀，第88页\u201398。美国计算机学会出版社，纽约（1983）“}，{“key”：“18_CR4”，“series-title”：“计算机科学讲义”，“首页”：“208”，“volume-title”：《函数证明连接词》，“author”：“E.G.K.Lopez-Escobar”，“year”：“1985”，“unstructured”：“Lopez-Escobar，E.G.K.：证明功能连接词。在：证明功能连接词。LNCS，卷\u00a01130，第208\u2013221页。Springer，Heidelberg（1985）“}，{”key“：”18_CR5“，”doi-asserted-by“：”publisher“，”first page“：“420”，”doi“：”10.1305 \/ndjfl \/1093635158“，”volume“:”30“，”author“：”G.Mints“，”year“：”1989“，”unstructured“：”Mints，G.：可证明可实现性的完整性。《圣母院形式逻辑杂志》\u00a030，420\u2013441（1989）“，”Journal-title“：”圣母院形式逻辑杂志“}，{“volume-title”：“计算复杂性”，“year”：“1995”，“author”：“C.H.Papadimitriou”，“key”：“18_CR6”，“unstructured”：“Papadimtriou，C.H.：计算复杂性。Addison-Wesley Publishing Company，Reading，MA10.1016\/0304-3975（79）90006-9“，“卷”：“9”，“作者”：“R.Statman”，“年份”：“1979”，“非结构化”：“Statman，R.：直觉命题逻辑是多项式空间完备的。TCS\u00a09，67\u201372（1979）“，“journal-title”：“TCS”}，{“issue”：“3”，“key”：“18_CR8”，“doi-asserted-by”：“publisher”，“first-page”：“1195”，“doi”：“10.2307\/2586625”，“volume”：《64》，“author”：“P.Urzyczyn”，《year》：“1999”，“unstructured”：“Urziczycyn，P.：交叉类型的空性问题。符号逻辑杂志\u00a 064（3），1195\u20131215（1999）“，”journal-title“：”《符号逻辑杂志》}]，“container-title”：[“计算机科学讲义”，“Lambda Calculi与应用”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-73228-0_18”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“deposed”：{“date-parts”：[[2019,2,18]]，“date-time”：“2019-02-18T00:10:48Z”，“timestamp”：1550448648000}，“score”：1，“resource”：}“primary”：{“URL”：“http://\/link.springer.com\/10.1007\/978-3-540-73228-0_18”}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“[2007]}，‘ISBN’：[“9783540732273”，“978354732280”]，“references-count”：8，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-540-73228-0_18”，“关系”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“类型”：“打印”，“值”：“0302-7743”}，{“种类”：“电子”，“数值”：“1611-33049”}]，“主题”：[]，“发布”：{“日期段”：[2007]]}}}}