{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T13:09:01Z”，“时间戳”：1648991341162}，“出版商位置”：“查姆”，“参考计数”：14，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783030930998”，“类型”：”打印“}，{“值”：“9783030931001”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2021,12,16]]，“date-time”：“2021-12-16T00:00:00Z”，“timestamp”：1639612800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}，{“start”：{“date-parts”：[[2021,12,16]，“日期-时间”：“2011-16T00:00:00Z“，”timestamp“：1639612800000}，”content-version“：”vor“，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}，{“start”：{“date-parts”：[[2021,12,16]]，“date-time”：“2021-12-16T00:00:00Z”，“timestamp”：1639612800000}，“content-version”：“tdm”，“delay-in-days“：0，”URL“https:\\/www.spring.com/tdm”}16]]，“日期时间”：“2021-12-16T00:00:00Z”，“时间戳”：1639612800000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”:{“date-parts”：[2022]}，”DOI“：”10.1007\/978-3-030-93100-1_16“，”type“：”book-capter“，”创建“：{“date-parts”：[2021,12,15]]，“date-time”：“2021-12-15T23:02:26Z”，“时间戳”：1639609346000}，“页面”：“253-265”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：1，”title“：[“类别和预设的可计算性模型”]，“前缀”：“10.1007“，”author“：[{”ORCID“http://\/ORCID.org\/00000-0002-4”121-7455英寸，“authenticated-orcid”：false，“given”：“Iosif”，“family”：“Petrakis”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[2021,12,16]}，“reference”：[{“key”：”16_CR1“，“series-title”：“数学课堂笔记”，“doi-asserted-by”：”publisher“，”doi“：”10.1007\/BFBb0084207“，”volume-ti tle“：“范畴理论”，“年份”：“1991年”，“非结构化”：“Carboni，A.，Pedicchio，M.C.，Rosolini，G.（编辑）：范畴理论。LNM，第1488卷。斯普林格，海德堡（1991）。https:\/\/doi.org\/10.1007\/BFb0084207“}，{“key”：“16_CR2”，“unstructured”：“Cockett，R.：类别和可计算性，讲义（2014）”}，}，“key“：”16_CR3“，”doi-asserted-by“：”crossref“，”unstructure“：”Cockett，R.，Hofstra，P.：图灵类别简介。Ann.Pure Appl.Log.156（2\u20133），183\u2013209（2008）.https:\/\/doi.org\/10.1016\/j.apal.2008.04.005“，”doi“：”10.1016\/j-apal.2008.004.005“}，{“问题”：“10”，“密钥”：“16_CR4”，“doi-asserted-by”：“发布者”，“首页”：“1835”，“doi”：“10.1016\/j.jpaa.2009.12.028”，“卷”：“214”，”作者：“R Cockett”，“年份”：“2010”，“非结构化”：“Cockett”Kett，R.，Hofstra，P.：分类模拟。j.纯粹应用代数214（10），1835\u20131853（2010年）。https:\/\/doi.org\/10.1016\/j.jpaa.2009.12.028“，”新闻标题“：”j.Pure Appl。代数“}，{”问题“：“4”，“键”：“16_CR5”，“doi-asserted-by”：“出版商”，“首页”：“536”，“doi”：“10.1215\/ijm\/1256052950”，“卷”：“14”，“作者”：“A Klein”，“年份”：“1970”，“非结构化”：“Klein，A.：类别中的关系。伊利诺伊数学杂志。14（4），536\u2013550（1970）”，“期刊标题”：“伊利诺伊州数学杂志”。key“：”16_CR6“，”非结构化“：”Longley，J.：可实现性主题和语言语义。博士论文ECS-LFCS-95-332爱丁堡大学（1995）“}，{“问题”：“5”，“关键”：“16_CR7”，“doi-asserted-by”：“publisher”，“首页”：“841”，“doi”：“10.1016\/j.entcs.2004.08004”，“卷”：“17”，“作者”：“j Longley”，“年份”：“2007”，“非结构化”：“Longley，j.：关于某些总类型结构的普遍性。数学结构。计算科学17（5），841\u2013953（2007）。https:\/\/doi.org\/10.1016\/j.entcs.2004.08004“，”journal-title“：”数学。结构。计算。科学。“｝，｛”issue“：”2“，”key“：”16_CR8“，”doi asserted by“：”publisher“，”first page“：”E240201“，”doi“：”10.1017\\S0960129513000182“，”volume“：”24“，”author“：”J Longley“，”year“：”2014“，”nonstructured“：”Longley，J.:可计算结构、模拟和可实现性.Math.Struct.Comput.Sci.24（2），E240201（2014）https:\/\/doi.org\/10.1017\/S0960129513000182“，”journal-title“：”数学。结构。计算。科学。“}，{”key“：”16_CR9“，”doi-asserted-by“：”publisher“，”unstructured“：”Longley，J.，Norman，D.：高阶可计算性。THEOAPPLCOM.Springer，Heidelberg（2015）。https:\\/doi.org\/10.1007\/978-3662-47992-6“，”doi“：”10.1007\/9783-662-4792-6“}”，{“key”：“16_CR10”，“doi-assert-by”：“publisher”，“unstructure”：“I.”。Petrakis：Bishop\u2019集合论中的相依和和相依积。摘自：Dybjer，P.等人（编辑）《2018年类型》。LIPIcs，第130卷（2019年）。https:\/\/doi.org\/10.4230\/LIPIcs。类型2018.3。第3条“DOI”：“10.4230\/LIPIcs”。TYPES.2018.3“}，{“key”：“16_CR11”，“unstructured”：“Petrakis，I.：主教集合理论中的集合族。习惯化论文，路德维希·马克西米利安斯·University\u00e4t（2020）”}，“key“：”16_CR12“，”doi-asserted-by“：”crossref“，”unstructure“：”Petrakis-I.：类别上的可计算模型。arXiv:2105.06933v1（2021）“，”doi“：”10.1007\/978-3-030-93100-1_16“}”，{“”key“：”16_CR13“，”unstructured“：”Rosolini，G.：拓扑的连续性和有效性。牛津大学博士论文（1986）“｝，{“key”：“16_CR14”，“nonstructured”：“Riehl，E.:范畴理论在上下文中。Dover Publications Inc.，Mineola（2016）”}]，“容器标题”：[“计算机科学的逻辑基础”，“计算机科学讲义”]，“原标题”：[]，“链接”：[{“URL”：“https:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-030-93100-1_16“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2021,12,27]]，“date-time”：”2021-12-27T00:03:51Z“，“timestamp”：1640563431000}，“score”：1，“resource”：{“primary”：}“URL”：“https:\/\/link.springer.com//10.1007\/978-3-030-93100-1_16“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部件“：[2021,12,16]]}，“ISBN”：[“9783030930998”，“97830039001”]，”引用计数“：14，”URL“http://\/dx.doi.org\/10.1007\/978-30-93100-1.16”，“关系”：{}，‘ISSN’：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”，{“value”：“1611-3349”，“type”：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[2021,12,16]]}，“assertion”：[{“value”：“2021年12月16日”，“order”：1，“name”：“first_online”，“label”：“first online”，“，”label“：”会议缩写“，”group“：{“name”：“ConferenceInfo”，“label”：“conferenceInformation”}}，{“value”：“计算机科学逻辑基础国际研讨会”，“order”：2，“name”:“Conference_name”，“标签”：“会议名称”，“group”：：“会议城市”，“组”：{“name”：“ConferenceInfo”，“label”：“会议信息”}}，{“value”：“USA”，“order”：4，“名称”：“Conference_country”，“标签”：“会议国家”，“group”：{“name”:“ConferenceInfo”电子信息“，“label”：“Conference Information”}}，{“value”：“2022年1月10日”，“order”：7，“name”：“Conference_start_date”，“lable”：“会议开始日期”，“group”：{“name”:“ConferenceInfo”，”label“：”Conferency Information“}，”value“：”2022年01月13日“，”order“：8，”name“Conference_end_date”：“会议信息”}}，{“value”：“lfcs2022”，“order”：10，“name”：“Conference_id”，“label”：“会议id”，“group”：{“name”:“ConferenceInfo”，“标签”：“会议信息”}，}“值”：“https:\/\/lfcs.ws.gc.cuny.edu \/”，“订单”：11，“name”：“Conference_url”“label”：“会议信息”}}，{“value”：“Single-blind”，“order”：1，“name”：“type”，“label”：“type”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“Peer Review Information（由会议组织者提供）”}}，{“value”：“EasyChair”，“label”：“同行评审信息（由会议组织者提供）”}}，{“value”：“35”，“order”：3，“name”：“number_of_submissions_sent_for_Review”，“lable”：“发送供评审的提交数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同侪评审信息（通过会议组织者提供：4，“name”：“number_of_full_papers_accepted”，“label”：“接受的完整论文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同侪审查信息（由会议组织者提供）”}}，{“value”：“0”，“order”：5，“name：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}，{“value”：“66%-该值由等式“接受的全文数”/“发送供评审的提交数*100”计算，然后四舍五入为整数。”，“order”：6，“name”：“acceptance_rate_of_Full_Papers”，“标签”：“完整论文的接受率”，“group”：{“name”：“ConfEventPeerReviewInformation”，“label”：“Peer Review Information（由会议组织者提供）”}}，{“value”：“3.1”，“order”：7，“name”:“average_number_of_reviews_per_paper”，“标签”：“每篇论文的平均评论数”：“同行评议信息（由会议组织者提供）”}}，{“value”：“3.4”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同行评审信息（由大会组织者提供）：“external_reviewers_involved”，“label”：“涉及外部审阅者”，“group”：{“name”：“ConfEventPeerReviewInformation”，“标签”：“同行审阅信息（由会议组织者提供）”}}]}}