{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T22:48:48Z”，“时间戳”：1725662928798}，“出版商位置”：“柏林，海德堡”，“参考计数”：21，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“类型”：”打印“，“值”：“979 83540133469“}，{”类型“：“electronic”，“value”：“9783540388913”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1984]}，”DOI“：”10.1007\/3-540-13346-1_12“，”type“：”book-capter“，”created“：”{“date-part”：[2012,2,25]]，“date-time”：“2012-02-25T13:04:31Z”，“时间戳”：1330175071000}，“页面”：“235-255”，“source”：“Crossref”，“is-referenced-by-count”：18，“title”：[“有效类型结构的笛卡尔闭式枚举类别”]，“prefix”：“10.1007”，”author“：[{”given“：”G.“，”family“：”Longo“，”sequence“：”first“，”affiliation“：[]}，{”fixed“：”E.“，”“family”：“Moggi”，“sequence”：“additional”，”afliation“:[]}]，”member“：”297“，”published-on-line“：{“date-parts”：[[2005,5,31]]}，“reference”：[{“key”：“12_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：”Barendregt，H.&Longo，G.（1982）“递归理论运算符和数字集的形态”“Fundamental Matematicae CXIX.”，“doi”：“10.4064\/fm-119-1-49-62”}，{“issue”：“3”，“key“：”12_CR2“，”“doi-sserted-by“首页”：“529”，“doi”：“10.2307\/2273443”，“volume”：“48”，“author”：“C.Bernardi”，“year”：“1983”，“unstructured”：“Bernardy，C.，Sorbi，A.（1983）\“Classifying positive equivalence relations\”J.Symb.Logic，vol.48,3，529\u2013539.“，”journal-title“：”J.Symb.Logic“}，{“issue”：“4”，“key”：”12_CR3“，”doi-asserted-by“：”crossref“，”first page“：”209“，”doi“：“10.1007\/BF02218570”，“volume”：“12”，“author”：“Y.L.Ershov”，“year”：“1973”，“unstructured”：“Ershov，Yu.L.（1973）”A空间理论“代数与逻辑，vol.12,4，209\u2013232.”，“journal-title”：“代数与逻辑学”}，{“key”：《12_CR4》，“doi-asserted-by”：“crossref”，“first-page”：“289”，“doi”：“10.1002\/malq.19730191901”，“volution”：”19\/21“，”作者“：”Y.L.Ershov“，”年份“：“1973”，“unstructured”：“Ershov，Yu.L.（1973\/5）”，“Theorye der Numerierungen I\u2013II\”，Zeit.Math.Logik vol.19\/21，289\u2013388\/473\u2013584.”，“journal-title”：“Zeit.Meth.Logic”}，{“key”：“12_CR5”，“doi-asserted-by”：“crossref”，“非结构化”：“埃尔肖夫，Yu.L.（1977）”部分连续泛函的C模型\“逻辑座谈会76（甘地，海兰德编辑）北荷兰。”，“DOI”：“10.1016\/S0049-237X（09）70439-2”}，{“key”：“12_CR6”，“DOI-asserted-by”：“crossref”，“unstructured”：“Giannii，P.，Longo，G.（1983）\“有效给定的域和lambda-calculus语义\”信息控制（待出现）。“，DOI”:“10.1016 \/S0019-9958（84）80009-1“}，{“key”：“12_CR7”，“unstructured”：“Kleene，S.C.（1959）”，“Countable functionals”，摘自H.Heyting（ed.）《数学中的建构性》，North-Holland，81\u2013100“从\u03bb微积分到笛卡尔闭范畴”，R.Hindley，J.Seldin（编辑）致H.B.Curry：组合逻辑、lambda微积分和形式主义学术出版社论文。“}，{”key“：”12_CR10“，”unstructured“：”Longo，G.（1982）“任何有限类型的遗传部分泛函（初步注释）”.Forsch.Inst.Math.E.T.H.Z\u00fcrich.“}”，{“key”：“12_CR11”，“doi-asserted-by”：“crossref”，“first page”：”153“，”doi“：”10.1016\/0168-0072（83）90030-1“，”volument“：”24“，”author“：”G.Longo“，”year“：”“1983年”，“非结构化”：“Longo，G.（1983）“建立u03bb-calculus:理论、展开、同构的理论模型”《Ann.Pure Applied Logic（前身：Ann.Math.Logic）24，153\u2013188.》，“期刊标题”：“Ann.Pure Applicated Logic（前身：Ann.Math.逻辑学）”}，{“key”：“12_CR12”，“unstructured”：“Longo、G.（1984）“计算机科学中的连续结构和分析方法”，B.Courcelle（编辑），剑桥大学出版社，CAAP论文集。“}，{”key“：”12_CR13“，”doi-asserted-by“：”crossref“，”unstructured“：”Longo，G.，Moggi，E.（1983）“高等类型中的遗传部分泛函和递归理论”J.Symb.Logic（to appear）“，”doi“：”10.2307\/2274281“}“G\u00f6del-数，主态射，组合代数”Nota Sci。D.I.比萨。“，”DOI“：”10.1007\/BFb0030322“}，{“key”：“12_CR15”，“DOI-asserted-by”：“crossref”，“first page”：”310“，“DOI”：“10.1002\/malq.19550010407”，“volume”：：“1”，“author”：“J.Myhill”，“year”：“1955”，”非结构化：“Myhill，J.，Shepherdson，J.（1955）”部分递归函数的有效操作“Zeit.Math.Logik-Grund.Math.vol.1，310\ u2013317.“，”新闻标题“：”Zeit。数学。Logik Grund公司。数学。“}，{”key“：”12_CR16“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/BFb0098600“，”volume-title“：”可数函数上的递归“，”author“：”D.Norman“，”year“：”1980“，”unstructured“：”Norman，D.（1980）可数函数的递归，LNM 811 Springer-Verlag，Berlin“}“递归函数和有效可计算性理论”Mc Graw-Hill。“}，{”key“：”12_CR18“，”doi-asserted-by“：”crossref“，”unstructured“：”Scott，D.S.（1972）“连续格”In F.Lawvere（ed.）Toposes，Algebraic Geometry and Logic，LNM 274，Springer-Verlag.“，“doi”：“10.1007\/BFb0073967”}，“key”：“12_CR19”，“unstructure”：“Scott，D.S.（1980）”“u03bb-Calculus的相关理论”与Lambek（1980）同量.“}，{”key“：”12_CR20“，”doi-asserted-by“：”crossref“，”unstructured“：”Scott，D.S.（1982）“计算机科学中的某些有序集”in I.Rival（ed.）ordered sets，Reidel.“，“doi”：“10.1007”\/978-94-009-7798-3_22“}”，{“key”：“12_CR21”，“unstructure”：“Visser，A.（1980）”Numerations lambda-calculus and algorithm“与Lambek（1980）的体积相同。”}]，“container-title“：[“计算机科学讲义”，“数据类型的语义”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-13346-1_12.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2021,12,30]]，“date-time”：2021-12-30T20:29:05Z“，”timestamp“：1640896145000}，”score“：1，”resource“：{”primary“：”URL“：”http://\/link.springer.com/10.1007\/3-540-13346-1_12“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1984]}，《ISBN》：[“9783540133469”，“978354388913”]，“references-count”：21，“URL”：“http://\/dx.doi.org\/10.1007\/3-540-13346-1_12”，“关系”：{}，“ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”类型“：”电子“，”值“：”1611-349“}]，”主题“：[]，”发布“：{”日期部分“：[[1984]}}