{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,8,31]]，“日期时间”：“2023-08-31T04:54:13Z”，“时间戳”：1693457653618}，“出版商位置”：“柏林，海德堡”，“参考计数”：9，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540108566”，“type”：“print”}，{“value”：“9783540387695”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1981]]}，”DOI“：”10.1007\/3-540-10856-4_125“，”type“：”book-capter“，”created“：”{“date-part”：[2012,26]]，“date-time”：“2012-02-26T01:41:24 Z“，”时间戳“：1330220484000}，”页面“：”563-577“，“source”：“Crossref”，“is-referenced-by-count”：4，“title”：[“建构主义范畴理论（No.1）”]，“prefix”：“10.1007”，”author“：[{”given“：”Akira“，”family“：”Kanda“，”sequence“：”first“，”affiliation“：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2005,6,3]]}，“reference”：[{-“key”：”56_CR1“，“unstructured”：“Kanda，A.，作为有效对象的数据类型，计算理论报告，第22期，华威大学。（1977）。”}，{“key”：“56_CR2”，“doi asserted by”：“crossref”，“nonstructured”：“Kanda，A.，递归域方程的完全有效解，M.F.C.S.'79的Proc。《计算机科学讲义》，第74期（1979年）。“，”DOI“：”10.1007\/3-540-09526-8_30“}，{”key“：”56_CR3“，”DOI-asserted-by“：”crossref“，”unstructured“：”Kanda，A.，递归域方程的有效解，华威大学博士论文（1980）。“，”DOI“：神田和公园，什么时候两个有效给定的域是相同的？程序。第四届计算机科学理论研讨会，计算机科学讲稿，第67期（1979）。“，”DOI“：”10.1007\/3-540-09118-1_19“}，{”key“：”56_CR5“，”DOI-asserted-by“：”crossref“，”unstructured“：”Plotkin&Smyth，递归域方程的分类解，第18届FOCS会议（1977）。“，”DOI“：Scott，D.，与组合子理论相关的一些哲学问题。程序。关于\u03bb-微积分和计算机科学理论的会议。LNCS No.37.“}，{“key”：“56_CR7”，“非结构化”：“Scott，D.，A Space of Retracts，讲座笔记，不来梅，1979年11月。”}，{“key”：“56_CR8”，“卷标题”：“计算、计算机编程和形式系统数学理论的基础”，“作者”：“J.McCarthy”，“年份”：“1963”，“非结构化”：“McCarthy，J.，《计算数学理论、计算机程序设计和形式系统的基础》，荷兰阿姆斯特丹北霍兰德出版社（1963年）。“}，{”key“：”56_CR9“，”unstructured“：”Scott，D，Data types as lattices，Teach Note，Amsterdam，（1972）。“}]，”container-title“：[”计算机科学中的讲义“，”1981年的数学基础“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com\/content\/pdf\/10.10007\/3-540-10856-4_125.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,6,20]]，”date-time“：”2023-06-2T18:14:04Z“，”timestamp“：168728484000}，”score“：1，”resource“：{primary“：”{“URL”：“http://link.sprimary.com\/10007\/3-540-10856-4_125”}}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“日期-部分”：[[1981]]}，“ISBN“：[”9783540108566“，”978354387695“]，”references-count“：9，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-10856-4_125“，”relation“：{}，”ISSN“：【”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，”type“：”print“}，{“value”：“1611-3399”，”type“：”electronic“}]，”主题“：[]，”已发布“：{“日期部分”：[[1981]}}}