{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T21:58:33Z”，“时间戳”：1725487113900}，“出版商位置”：“柏林，海德堡”，“参考计数”：26，“出版者”：“施普林格-柏林-海德堡“，”isbn-type“：[{”类型“：“打印”，“值”：“9783540 732273“}，{”类型“：“electronic”，“value”：“9783540732280”}]，“license”：[{“start”：{“date-parts”：[[2007,1,1]]，“date-time”：“2007-01-01T00:00:00Z”，“timestamp”：11676096000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2007]]}，“DOI”：“10.1007\/978-3-540-73228-0_20”，“type”：“book-chapter”，“created”：{”date-part“：[2007,7,16]]，“date-time”：“2007-07-16T11:57:11Z”，“timestamp”：1184587031000}，”page“：”272-289“，”source“Crossref”，“is-referenced-by-count”：2，“title”：[“带约束的高阶逻辑编程语言：A语义“]，”前缀“：“10.1007”，“author”：[{“given”：“James”，“family”：“Lipton”，“sequence”：“first”，“affiliation”：[]}，{“fixed”：“Susana”，“家族”：“Nieva”，”sequence“：“additional”，“abfiliance”：[]，“member”：“297”，“reference”：[{“key”：”20_CR1“，“doi-asserted-by”：”crossref“，”非结构化“：”Andrews，P.：类型理论中的分辨率。《符号逻辑杂志》，36（3）（1971），“内政部”：“10.2307\/2269949”}，{“key”：“20_CR2”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/BFb0013072”，“volume-title”：《逻辑编程与自动推理》，“author”：“M.Bai”，“year”：“1992”，“unstructured”：“Bai，M.，Blair，H.：高阶角逻辑编程的一般模型理论语义。收录：Voronkov，A.（编辑）LPAR 1992。LNCS，vol.\u00a0624，Springer，Heidelberg（1992）“}，{”key“：”20_CR3“，”doi-asserted-by“：”publisher“，”first page“：“1027”，”doi“：”10.2178 \/jsl \/1102022211“，”volume“:”69“，”author“：”C.Benzm\u00fcller“，”year“：”2004“，”unstructured“：”Benzm\u00fcller，C.，Brown，C.E.，Kohlhase，M.：高阶语义和外延。《符号逻辑杂志》（Journal of Symbolic Logic）\u00a069，1027\u20131088（2004）“，”Journal-title“：《符号逻辑期刊》”}，{“key”：“20_CR4”，“doi-asserted-by”：“publisher”，“first-page”：“56”，“doi”：“10.2307\/2266170”，“volume”：”5“author”：“A.Church”，“year”：“1940”，“unstructured”：“Church，A.：简单类型理论的表述。《符号逻辑杂志》（Journal of Symbolic Logic）\u00a05，56\u201368（1940）“，“Journal-title”：“符号逻辑杂志”}，{“key”：“20_CR5”，“unstructured”：“DeMarco，M.：类型理论中的高阶逻辑程序设计。卫斯理大学博士论文（1999）”}卷：“15”，“作者”：“M.DeMarco”，“年份”：“2005”，“非结构化”：“DeMarco，M.，Lipton，J.：直觉主义类型理论中的完备性和截消。《逻辑与计算杂志》（The Journal of Logic and Computation）\u00a015（6），821\u2013854（2005）“，“期刊标题”：“逻辑与计算期刊”}，{“期刊”：“4”，“关键字”：“20_CR7”，“doi-asserted-by”：“publisher”，“首页”：“319”，“doi”：“10.1016\/0743-1066（84）90029-3”，“卷”：“1”，“作者”：“D.M.Gabbay”，“年份”：“1984”，“非结构化”：“Gabbay，D.M.，Reyle，U.:N-prolog：具有假设含义的prolog的扩展i.《逻辑编程杂志》\u00a01（4），319\u2013355（1984）“，”期刊标题“：”《逻辑编程杂志》“}，｛”键“：”20_CR8“，”doi断言“：”出版商“，”首页“：”55“，”doi“：”10.1145\/10139631013973“，”卷标题“：”PPDP\u201904“，”作者“：”M“。Garc\u00eda-D\u00deaz“，”year“：”2004“，”unstructured“：”Garc\u 00eda-D \u 00EDaz，M.，Nieva，S.：为HH扩展约束逻辑程序提供声明性语义。收录于：PPDP\u201904，第55\u201366页。ACM出版社，纽约（2004）“}，{“卷标题”：“校对与类型”，“年份”：“1998”，“作者”：“J.Girard”，“密钥”：“20_CR9”，“非结构化”：“Girard，J.，Lafont，Y.，Taylor，P.：校对与类型。剑桥大学出版社，剑桥（1998）”}，{“密钥”：“20_CR10”，“doi断言者”：“出版商”，“首页”：“81”，“doi”：“10.2307\/226967”，“卷”：“15”，“作者”：“L”。亨金“，“年”：“1950年”，“非结构化”：“亨金，L.：类型理论的完整性。符号逻辑杂志\u00a015，81\u201391（1950）“，”Journal-title“：”Journal of Symbolic Logic“}，{“key”：“20_CR11”，“doi-asserted-by”：“crossref”，“doi”：“10.1017\/CBO9780511608865”，“volume-title”：“基本简单类型理论”，“author”：“J.R.Hindley”，“year”：“1997”，“unstructured”：“辛德利，J.R.：基本简单类型理论。剑桥大学出版社，剑桥（1997）“}，{”key“：“20_CR12”，”doi-asserted-by“：”publisher“，”first page“：”503“，”doi“：”10.1016\/0743-1066（94）90033-7“，“volume”：“19\/20”，“author”：“J.Jaffar”，“year”：“1994”，“unstructured”：“Jaffar，J.，Maher，M.：约束逻辑编程：一项调查。逻辑编程杂志\u00a019\/20，503\u2013581（1994）”，“”journal-title“：《逻辑编程杂志》}，{“key”：“20_CR13”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”517“，“doi”：“10.1007\/11590156_42”，“volume-title”：”FSTTCS 2005:软件技术和理论计算机科学基础“，”author“：”R.Jagadeesan“，”year“：”2005“，”unstructured“：”Jagadeesan，R.，Nadathur，G.，Saraswat，V.A.：测试并发系统：直觉主义逻辑的解释。收录：Ramanujam，R.，Sen，S.（编辑）FSTTCS 2005。LNCS，第u00a03821卷，第517\u2013528页。Springer，Heidelberg（2005）“}，{“key”：“20_CR14”，“unstructured”：“Lastres，E.：基于HH公式的逻辑程序语义。博士论文，比萨大学\u00e0（2002）”}函数和逻辑编程”，“作者”：“J.Leach”，“年份”：“2001年”，“非结构化”：“Leach，J.，Nieva，S.：带约束的高阶逻辑编程语言。收录：Kuchen，H.，Ueda，K.（编辑）FLOPS 2001。LNCS，卷\u00a02024，第108页\u2013122。Springer，Heidelberg（2001）“}，{“问题”：“4”，“关键”：“20_CR16”，“doi-asserted-by”：“出版商”，“首页”：“409”，“doi”：“10.1017\/S14710684010104”，“卷”：“1”，“作者”：“J.Leach”，“年份”：“2001”，“非结构化”：“Leach，J.，Nieva，S.，Rodr\u00edguez-Artalejo，M.：使用遗传Harrop公式的约束逻辑编程。逻辑程序设计理论与实践\u00a01（4），409\u2013445（2001）“，“journal-title”：“逻辑程序设计的理论与实践”}，{“key”：“20_CR17”，“doi-asserted-by”：“crossref”，“unstructured”：“Miller，D.：逻辑程序设计中模块的逻辑分析。逻辑程序设计杂志，79\u2013108（1989）”，“doi”：“10.1016\/0743-1066（89）90031-9”}issue“：”1-2“，”key“：”20_CR18“，”doi-asserted-by“：”publisher“，”first page“：“125”，“doi”：“10.1016\/0168-0072（91）90068-W”，“volume”：“51”，“author”：“D.Miller”，“year”：“1991”，“unstructured”：“Miller，D.，Nadathur，G.，Pfenning，F.，Scedrov，A.：统一证明作为逻辑编程的基础。《纯逻辑与应用逻辑年鉴》（Annals of Pure and Applied Logic）\u00a051（1-2），125\u2013157doi-asserted-by“：”publisher“，”first page“：”99“，”doi“：”10.1016\/0168-0072（91）90067-V“，“volume”：“51”，“author”：“J.Mitchell”，“year”：“1991”，“unstructured”：“Mitchell，J.，Moggi，E.：类型lambda演算的Kripke-style模型。《纯粹和应用逻辑年鉴》（Annals of Pure and Applied Logic）\u00a051，99\u2013124（1991）“，“journal-title”：“纯粹和应用逻辑学年鉴”}，{“key”：“20_CR21”，“doi-asserted-by”：“publisher”，“first page”：Nadathur，G.：遗传哈罗公式逻辑的证明程序。Journal of Automated Reasoning\u00a011，115\u2013145（1993）“，”Journal-title“：”Journal ofAutomated Refasoning“}，{“key”：“20_CR22”，“first page”：”341“，“volume-title”：“LICS\u201992”，“author”：“V.Saraswat”，“year”：“1992”，“unstructured”：“Saraswa，V.：约束类别是笛卡尔闭合的。In:LICS\u 201992。程序。第七届计算机科学逻辑研讨会，第341\u2013345页。IEEE Computer Society Press，Los Alamitos（1992）“}，{”issue“：“4”，”key“：“20_CR23”，”doi-asserted-by“：”publisher“，”first page“：”399“，”doi“：”10.2969 \/jmsj \/01940399“，”volume“：19”，”author“：”M.Takahashi“，“year”：“1967”，”unstructured“：”Takahahi，M.：简单类型理论中简化限制的证明。J.Math.Soc.Japan\u00a019（4），399\u2013410（1967）“，”《新闻标题》：《数学杂志》。Soc.Japan“}，{“key”：“20_CR24”，“doi-asserted-by”：“crossref”，“doi”：“10.1525\/9780520348097”，“volume-title”：“初等代数和几何的决策方法”，“author”：“A.Tarski”，“year”：“1951”，“unstructured”：“Tarski，A.：初等代数与几何的决策法。加利福尼亚大学出版社，伯克利分校（1951）”}，“{”key“：”20_CR25“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/978-3-540-85108-0“，”volume-title“：”逻辑与结构“，”author“：”D.Dalen van“，“year”：“2004”，”unstructured“：”van Dalen，D.：逻辑与结构。Springer，Heidelberg（2004）“}，{”key“：“20_CR26”，”doi-asserted-by“：”publisher“，”first page“：”277“，”doi“：”10.1016\/0304-3975（93）00130-W“，”volume“：理论计算机科学“}]，“container-title”：[“计算机科学课堂讲稿”，“Lambda Calculi及其应用”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-73228-0_20”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“日期部分”：[[2021,8,19]]，“日期时间”：“2021-08-19T06:53:57Z”，“时间戳”：1629356037000}，“分数”：1，“资源”：{“主要”：}“URL”：“http://\\link.springer.com\/10.1007\/978-3-540-73228-0_20”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2007]]}，“ISBN”：[“9783540732273”，“9783540732280”]，“references-count“：26，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-73228-0_20“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”类型“：”electronic“，”值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期部分“：[2007]]}}}