{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2022,3,29]]，“日期-时间”：“2022-03-29T06:27:33Z”，“时间戳”：1648535253746}，“引用-计数”：0，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“04”，“内容-域”：{“域”：[]，“交叉标记限制”：false}，”short-container蒂尔”：[“Comp.Science中的数学结构”]，“published-print”：{“date-parts”：[2001,8]]}，“DOI”：“10.1017\/s0960129501003310”，“type”：“journal-article”，“created”：{“date-ports”：[[2002,7,27]]，“date-time”：“2002-07-27T13:16:36Z”，“timestamp”：1027775796000}，“特刊：类型理论中的模式”]，“前缀”：“10.1017”，“volume”：“11”，“author”：[{“给定”：“MATT”，“family”：“FAIRTLOUGH”，“sequence”：“first”，“affiliation”：[]}，{“给出”：“MICHAEL”，“家族”：“MENDLER”，“序列”：“additional”，“从属关系”：[]}，}“给定的”：“EUGENIO”，“家庭”：“MOGGI”，lished-online“：{“date-parts”：[[2001,7,25]]}，“container-title”：[“计算机科学中的数学结构”]，“original-title”：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129501003310”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2017,4,21]]，“date-time”：“2017-04-21T16:21:08Z”，“timestamp”：1492791668000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/www.journals.cambridge.org\/abstract_S0960129501003310”}}，”subtitle“：[]，”short title“：[]，”issued“：{”date-parts“：[2001,7,25]]}，'references-count“：0，”journal-sissue:{“issue”：“04”，“published-prer”int“：{“日期部分”：[[2001,8]]}}，“alternative-id”：[“S09601129501003310”]，“URL”：“http://\/dx.doi.org \/101017\/s096012950100331”，“关系”：{}，“ISSN”：【“0960-1295”，“1469-8072”】，“ISSN-type”：[{“value”：“09601295”，“type”:“print”}，{“value”：“1469-80 72”，“类型”：“electronic”}]，“subject”：[]，“published”：{“date-parts”“：[2001,7,25]}}}”