{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,2,14]]，“日期时间”：“2024-02-14T18:41:07Z”，“时间戳”：1707936067539}，“出版商位置”：“柏林，海德堡”，“参考计数”：8，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540425540”，“类型”：“打印”}，{“值”：“9783540448020”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2001]]}，”DOI“：”10.1007\/3-540-44802-0_32“，”type“：”book-capter“，”created“：”{“date-part”：[2007,6,1]]，“date-time”：“2007-06-01T04:15:38Z“，”时间戳“：1180671338000}，”页面“：”458-468“，”源“：“Crossref”，“is-referenced-by-count”：1，“title”：[“A Principle of Induction”]，“prefix”：“10.1007”，”author“：[{”given“：”Keye“，”family“：”Martin“，”sequence“：”first“，”affiliation“：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2001,8,30]]}，“reference”：[{“key”：“32_CR1”，非结构化”：S.Abramsky和A。荣格，领域理论。S.Abramsky，D.M.Gabbay，T.S.E.Maibaum，编辑，《计算机科学中的逻辑手册》，第三卷，牛津大学出版社，1994年。“，“DOI”：“10.1093\/oso\/978198537625.001.0001”}，{“key”：“32_CR2”，“DOI-asserted-by”：“crossref”，“unstructured”：“P.Aczel，归纳定义简介。在《数学逻辑手册》中，J。Barwise，编辑，North-Holland，p.739\u2013782。“，“DOI”：“10.1016\/S0049-237X（08）71120-0”}，{“key”：“32_CR3”，“series-title”：“Lect Notes Compute Sci”，“DOI-asserted-by”：“publisher”，“first page”：《159》，“DOI:”10.1007\/BFBb0021089“，“volume-title”：《构造拓扑与组合学》，“author”：“T.Coquand”，“year”：“1992年”，“非结构化”：“T。协调、构造拓扑和组合。《计算机科学讲义》，第613卷，第159\u2013164页。卷“：”210“，”作者“：”M。Escardo”，“年份”：“1999年”，“非结构化”：“M.Escordo和T.Streicher，部分实线上的归纳和递归及其在real PCF中的应用。理论计算机科学，第210卷，第1期，第121\u2013157页，1999年。”，“期刊标题”：“理论计算机科学”}，{“关键字”：“32_CR6”，“非结构化”：“K.Martin，计算基础。博士论文，杜兰大学数学系，2000年5月。http:\/\/web.comlab.ox.ac.uk \/oucl\/work\/keye.mart in“}”，{“key”：“32_CR7”，“series-title”：“Lect Notes Compute Sci”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-45022-X_11”，“volume-title”：《第27届国际自动化、语言和编程学术讨论会（ICALP）论文集》，“author”：“K.马丁”，“year”：“2000”，“unstructured”：“K。马丁，领域理论中的测量过程。《第27届自动机、语言和程序设计国际学术讨论会论文集》，《计算机科学讲义》，第1853卷，施普林格出版社，2000年计算机科学课堂讲稿“]，”original-title“：[]，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/3-540-44802-0_32“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2024,2,14]]，”date-time“：“2024-02-14T18:17:23Z”，“timestamp”：170793464Z 3000}，“score“：1，”resource“：{”primary”：{“URL”：“http://\/link.springer.com/10.1007\/3-540-44802-0_32”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{date-parts”：[2001]]}，“ISBN”：[“9783540425540”，“9783548020”]，“references-count”：8，”URL“：”http://\/dx.doi.org\/10007\/3-504-44802-0_3 2“，”关系“：{}，”ISSN“：[”0302-9743“]，”ISSN-type“：[{”value“：”0302-7743“，”键入“：”print“}]，“subject”：[]，“published”：{“date-parts”：[[2001]]}}