{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,5,7]]，“日期-时间”：“2024-05-07T06:02:29Z”，“时间戳”：1715061749822}，“出版商位置”：“柏林，海德堡”，“参考-计数”：12，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540657637”，“类型”：“打印”}，{“值”：“9783540489597”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1999]]}，”DOI“：”10.1007\/3-540-48959-2_12“，”type“：”book-capter“，”created“：”{“date-part”：[2007,5,3]]，“date-time”：“2007-05-03T16:52:16 Z“，”时间戳“：1178211136000}，”页面“：”147-161“，”源“：“Crossref”，“is-referenced-by-count”：9，“title”：[“Lambda通过Grothendieck逻辑关系定义和”]，“prefix”：“10.1007”，”author“：[{”given“：”Marcelo“，”family“：”Fiore“，”sequence“：”first“，”affiliation“：[]}，{“given”：“Alex”，“family”：“Simpson”，“sequence”：“additional”，“afliation”：[]]}]，“member”：“297”，“published-on-line”：{日期部分“：[2002,5,27]]}，“reference”：[{“key”：“12_CR1”，“doi-asserted-by”：“publisher”，”首页“：“5”，“doi”：“10.1016\/0304-3975（94）00283-O”，“volume”：”146“，“author”：“M.Alimohamed”，“year”：“1995”，“unstructured”：“M。阿利莫哈默德。内隐多态性分类模型中lambda可定义性的特征。理论计算机科学，146:5\u2013231995。”，“journal-title”：“理论计算机科学”}，{“key”：“12_CR2”，“doi-asserted-by”：“crossref”，“unstructured”：“D.Dougherty and R。苏布拉曼扬。存在余积时泛函之间的等式。提交信息和计算。早期版本见《第十届LICS会议录》，第282\u2013291页，1995年。“，”DOI“：”10.1109\/LICS.1995.523263“}，{”key“：”12_CR3“，”series-title“：”Lect Notes Compute Sci“，”DOI-asserted-by“：”publisher“，”first page“：“171”，“DOI”：“10.1007\/BFb0014052”，“volume-title”：“打字Lambda Calculi and Applications，TLCA\u2019 95”，“author”：“N。Ghani”，“年份”：“1995年”，“非结构化”：“N.Ghani。\u03b2\u03b7-副积相等。《Lambda Calculi及其应用》，TLCA\u2019 95，第171\u2013185页。Springer LNCS 9021995.“}，{”key“：”12_CR4“，”series-title“：”Lect Notes Compute Sci“，”doi-asserted-by“：”publisher“，”first page“：“230”，”doi“：”10.1007“/BFb0037109“，”volume-title“：“类型化Lambda Calculi及其应用，TLCA\u2019 93论文集”，“author”：“A.Jung”，“year”：“1993”，“unstructured”：“A Jung and J.”。蒂乌林。λ可定义性的新特征。《Lambda Calculi及其应用》，TLCA\u2019 93，第230\u2013244页。Springer LNCS 6641993.“}，{”key“：”12_CR5“，”unstructured“：”J.Lambek和P.J.Scott，《高阶范畴逻辑导论》，剑桥高等数学研究第7号，剑桥大学出版社，1986年。“}”，{“key”：“12_CR6”，“unstructure”：“S.Mac Lane和I。莫尔迪克。几何和逻辑中的滑轮：拓朴理论的第一次介绍。Springer-Verlag，1992.“}，{”key“：”12_CR7“，”doi-asserted-by“：”crossref“，”unstructured“：”J.C.Mitchell.编程语言的类型系统。J.van Leeuwen，编辑，《理论计算机科学手册》，第二卷，第365\u2013458页。Elsevier Science Publishers，1990.“，”DOI“：”10.1016\/B978-0-444-88074-1.50013-5“}，{”key“：”12_CR8“，”DOI-asserted-by“：”publisher“，“first page”：“107”，“DOI”：“10.1006\/inco.1995.1103”，“volume”：”120“，”author“：”P.W.O\u2019Hearn“，”year“：”1995“，”unstructured“：”P.W.O\ u2019Hearn and J.G。里克。克里普克逻辑关系和PCF。信息与计算，120:107\u2013116，1995.“，”journal-title“：”Information and Computation“}，{“key”：“12_CR9”，“doi-asserted-by”：“publisher”，“first-page”：“321”，“doi”：“10.1002\/malq.19970430304”，“volume”：”43“，“author”：“E.Palmgren”，“year”：“1997”，“unstructured”：“E。帕尔姆格伦。建构性sheaf语义。《数理逻辑季刊》，43:321\u20133251997.，“期刊标题”：《数理逻辑季刊》，｛“键”：“12_CR10”，“卷标题”：“致H.B.库里：组合逻辑、Lambda微积分和形式主义论文”，“作者”：“G.D.Plotkin”，“年份”：“1980”，“非结构化”：“G.D.Plotkin。Lambda在全类型层次结构中的可定义性。见J.P.Seldin和J。R.Hindley，编辑，致H.B.Curry：关于组合逻辑、Lambda微积分和形式主义的论文。学术出版社，纽约，1980年publisher“，“首页”：“345”，“DOI”：“10.1016\/0022-4049（74）90014-0”，“卷”：“4”，“作者”：“G.幽灵”，“年份”：“1974”，“非结构化”：“G幽灵”。Artin胶合。《纯粹与应用代数杂志》，4:345\u20133481974content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,2,16]]，”date-time“：”2019-02-16T12:37:53Z“，”timestamp“：1550320673000}，”score“：1，”resource“：{primary”：{“URL”：“http://\link.springer.com\/10007\/3-540-48959-2_12”}}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“date-parts”：[[1999]]}，“ISBN”：[“9783540657637“，”9783540489597“]，”references-count“：12，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-48959-2_12“，”relation“：{}，”ISSN“：[”0302-9743“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}]，“subject”：[]，“published”：{“date-parts”：[[1999]]}}}}