{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,3,31]]，“日期时间”：“2022-03-31T16:05:11Z”，“时间戳”：1648742711409}，“出版商位置”：“查姆”，“引用计数”：13，“出版者”：“斯普林格国际出版”，“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_20“，”type“：”book-capter“，”创建“：{“date-parts”：[2021,12,15]]，“date-time”：“2021-12-15T23:02:26Z”，“时间戳”：1639609346000}，“页面”：“316-326”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：0，”title“：[”u00a0Lambda Calculus和\u00a0组合逻辑的有限生成和\u0a0表示问题“]，”前缀“：”10.1007“，”author“：[{“ORCID”（ORCID）：“http://\/orcid.org//0000-0002-1825-0097”，“authenticated-orcid”：false，“given”：“Rick”，“family”：“Statman”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[2021,12,16]]}，“reference”：[{“key”：”20_CR1“，“unstructured”巴伦德雷格特，H.P.：《兰姆达演算：语法和语义》，《逻辑和数学基础研究》，第103卷。North Holland（1985）“｝，｛“key”：“20_CR2”，“unstructured”：“B\u00f6hm，C.:Personal Communication”｝，｛“issue”：“6”，“key”：“20_CR3”，“doi asserted by”：“publisher”，“first page”：“593”，“doi”：“10.1017\\S0956796897002888”，“volume”：“7”，“author”：“S Broda”，“year”：“1997”，“unstructured”：“Broda，S.，Damas，L.：关于正确组合子的组合全集。功能。程序。7（6），593\u2013612（1997）“，“新闻标题”：“J.Funct。程序。“}，{”key“：”20_CR4“，”first-page“：”333“，”volume“：“43”，”author“：”A Church“，”year“：”1937“，”unstructured“：”Church，A.：组合逻辑作为半群。Bull.Am.Math.Soc.43，333（1937）“，”journal-title“：”Bull.Am.Math.Soc.“}”，{“key”：“20_CR5”，“unstructure”：”Curry，H.B.，Feys，R.：组合逻辑，vol.1。North Holland（1958）“}，{”key“：”20_CR6“，”doi-asserted-by“：”publisher“，”unstructured“：”Dezani-Ciancaglini，M.：“lambda-beta-eta-eta-Calculus.Theor.Comput.Sci.2（3），323\u2013337（1976）.https:\/\/doi.org\/101016\/0304-3975（76）90085-2“，”doi“：”10.1016\/034-3975（76）90005-2“}”，{“key”：“20_CR7”series-title“：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“213”，“doi”：“10.1007\/BFb0029527”，“volume-title”：“$$\\lambda$$-微积分和计算机科学理论”，“author”：“G Jacopini”，“year”：“1975”，“unstructured”：“Jacoini，G：识别任何组合逻辑模型的两个元素的条件。收录：B\u00f6hm，C.（编辑）$$\\lambda$$-微积分与计算机科学理论。LNCS，第37卷，第213\u2013219页。斯普林格，海德堡（1975）。https:\/\/doi.org\/10.1007\/BFb0029527“}，{“key”：“20_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“Knuth，D.E.，Bendix，P.B.：《通用代数中的简单单词问题》，第263\u2013297页。Pergamon Press Ltd.（1970）“，“DOI”：“10.1016\/B978-0-08-012975-4.50028-X”}，{“key”：“20_CR9”，“DOI-asserted-by”：“publisher”，“unstructured”：“Kozen，D.：有限表示代数的复杂性。In:Hopcroft，J.E.，Friedman，E.P.，Harrison，M.A.（eds.）第九届美国计算机学会计算理论年会论文集，美国科罗拉多州博尔德，1977年5月4日，第164页。ACM（1977年）。https:\/\/doi.org\/10.1145\/800105.803406“，”doi“：”10.1145\/80010.5803406“}，{”key“：”20_CR10“，”doi-asserted-by“：”crossref“，”unstructured“：”Statman，R.：Herbrand\u2019s定理和Gentzen\u2019sNotion of a Direct Proof a。摘自：Barwise，J.（eds.）《数学逻辑手册》，第897\u2013912页。North Holland（1977）“，“DOI”：“10.1016\/S0049-237X（08）71125-X”}，{“key”：“20_CR11”，“unstructured”：“Statman，R.：关于将lambda术语翻译成组合词；基础问题。摘自：《计算机科学中逻辑专题讨论会论文集》，LICS 1986，美国马萨诸塞州剑桥，16\u201318，1986年6月，第378\u2013382页。IEEE Computer Society（1986）“}，{”key“：”20_CR12“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“355”，”doi“：”10.1007\/3-540-48959-2_25“，”volume-title“：“Typed Lambda Calculi and Applications”，“author”：“R Statman”，“year”：“1999”，“unstructured”：“Statman，R.：Jacopini\u2019定理的结果：一致等式和方程。收录：Girard，J.-Y.（编辑）TLCA 1999。LNCS，第1581卷，第355\u2013364页。斯普林格，海德堡（1999）。https:\/\/doi.org\/10.1007\/3-540-48959-2_25“}，{“key”：“20_CR13”，“doi-asserted-by”：“publisher”，“unstructured”：“Statman，R.：只有一个对象的类别中的产品。摘自：Spivak，D.I.，Vicary，J.（eds.）《2020年第三届国际应用类别理论会议论文集》，ACT 2020。EPTCS，美国剑桥，201310年7月6日，2020年7月，第333卷，第347\u2013353页（2020年）。https:\/\/doi.org/10.4204\/EPTCS.333.24“，”doi“：”10.4204\/EPTCS.333.24“}]，”容器标题“：[”计算机科学逻辑基础“，”计算机科学讲义“]，”原标题“：[]，”链接“：[｛”URL“：”https:\/\/link.springer.com\/content/pdf\/10.1007\/978-3-030-93100-1_20“，”内容类型“：”未指定“，”内容版本“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2021,12,27]]，”date-time“：”2021-12-27T00:04:20Z“，”timestamp“：1640563460000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/link.springer.com\/10007\/978-3030-93100-1_20“}}”，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-ports“：[[2021,12,16]]}，“ISBN”：[“9783030930998”，“9783030931001“]，”references-count“：13，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-030-93100-1_20“，”relation“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，”type“：”print“}，{“value”：“1611-3399”，”类型“：”electronic“}]，”subject“：[]，”published“：{“date-parts”：[[2021,12,16]]}，“断言”：[{“值”：“2021年12月16日”，“订单”：1，“name“：”first_online“，”label“：”first online“，”group“：｛”name“：”ChapterHistory“，”label“：”ChapterHistory“｝｝｝，｛”value“：”LFCS“，”order“：1，”name“：”conference_首字母缩略词“，”label“：”ConferenceInfo“，”label“：”会议信息“｝｝，｛”value“：”计算机科学逻辑基础国际研讨会“，”order“：2，”name“：”conference_name“，”label“：”会议名称“，”group“：“”会议国家/地区”，“组”：{“name”：“ConferenceInfo”，“label”：“会议信息”}}，{“value”：“2022”，“order”：5，“名称”：“Conference_year”，“标签”：“会议年”，“group”：{name”：”ConferenceInformo“，”label“：”会议信息“}}、{value“：”2022年1月10日“，”order“：7，”name“：”Conference_start_date“，”标签“：”“会议开始日期“，”group“：{”name“：“ConferenceInfo“，”label“：”ConferenceInformation“}}，{“value”：“2022年1月13日”，“order”：8，“name”：“Conference_end_date”，“label”：“会议结束日期”，“group”：{“name”:“ConferenceInfo”，”lable“：”会议信息“}，”value“：”lfcs2022：“会议信息“}}，{“value”：“https:\/\/lfcs.ws.gc.cuny.edu//”，“order”：11，“name”：“Conference_url”，“label”：“会议url”，“group”：{“name”:“ConferenceInfo”，“标签”：“Conferency Information”}}：“同行评议信息（由会议组织者提供）“}}，{”value“：”EasyChair“，”order“：2，”name“：”conference_management_system“，”label“：”会议管理系统“，”group“：number_of_submissions_sent_for_review“，”label“：“发送供审阅的提交数”，“group”：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行审阅信息（由会议组织者提供）”}}，{“value”：“23”，“order”：4，“name”:“number_ of_full_papers_accepted”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）66%-该值由等式“接受的完整论文数”/“提交供审查的论文数*100”计算，然后四舍五入为整数。“，”order“：6，”name“：”acceptance_rate_of_full_papers“，”label“：”全文接受率“，”group“：”{“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}，{“value”：“3.1”，“order”：7，“name”:“average_number_of_reviews_per_paper”，“table”：“每篇论文的平均审阅次数”，“group”：{“”name“：”ConfEventPeerReviewInformation“，”label“：”同行评议信息（由会议组织者提供）“}}，{“value”：“3.4”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：同行评审信息（由会议组织者提供）“}}，{“value”：“Yes”，“order”：9，“name”：“external_reviewers_involved”，“label”：“external reviewers involved”、“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行评审信息