{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,3,13]]，“日期时间”：“2024-03-13T06:01:28Z”，“时间戳”：1710309688743}，“出版商位置”：“柏林，海德堡”，“参考计数”：23，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540732273”，“类型”：“打印”}，{“值”：“9783540732280”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2007]]}，”DOI“：”10.1007\/978-3-540-73228-0_16“，”type“：”book-capter“，”created“：”{“date-part”：[2007,7,16]]，“date-time”：“2007-07-16T15:57:11Z“，”时间戳“：1184601431000}，”页面“：”207-222“，“source”：“Crossref”，“is-referenced-by-count”：20，“title”：[“Initial Algebra Semantics is Enough！”]，“prefix”：“10.1007”，”author“：[{”given“：”Patricia“，”family“：”Johann“，”sequence“：”first“，”affiliation“：[]}，{”fixed“：”Neil“，”键“：”16_CR1“，“doi-asserted-by”：“publisher”，“first page”：“3”，“doi”：“10.1016\/j.tcs.2004.10.017”，“volume”：”333“，“author”：“A.Abel”，“year”：“2005”，“unstructured”：“Abel，A.，Matthes，R.，Uustalu，T.：高阶和嵌套数据类型的迭代方案。理论计算机科学\u00a0333（1-2），3\u201366（2005）”，“journal-title”：“理论计算机科学”}，{“key”：“16_CR2”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“first page”：《453》，“doi”：“10.1007\/3-540-48168-0_32”，“volume-title”：《计算机科学逻辑》，“author”：“T.Altenkirch”，《year》：“1999”，“unstructured”：“Altenkirch，T.，Reus，B.：使用广义归纳类型的lambda项的单数表示法。In：Flum，J.，Rodr\u00edguez-Artalejo，M.（eds.）CSL 1999。LNCS，第u00a01683卷，第453\u2013468页。Springer，Heidelberg（1999）“}，{“key”：“16_CR3”，“unstructured”：“Bayley，I.：嵌套数据类型的泛型运算。牛津大学博士学位论文（2001）”}，}，“key“：”16_CR4“，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”52“doi”：“10.1007”，BFb0054285“，“volume-title”：”程序构造数学”，“作者”：“R.Bird”，“年份”：“1998年”，“非结构化”：“Bird，R.，Meertens，L.：嵌套数据类型。摘自：Jeuring，J.（编辑）MPC 1998。LNCS，卷\u00a01422，第52页\u201367。Springer，Heidelberg（1998）“}，{”issue“：”1“，”key“：”16_CR5“，”doi-asserted-by“：”publisher“，”first-page“：”77“，”doi“：”10.1017\/S095679689900366“，”volume“：“9”，”author“：”R.Bird“，”year“：”1998“，”unstructured“：”Bird，R.，Paterson，R.：de Bruijn表示法作为嵌套数据类型。《函数编程杂志》\u00a09（1），77\u201391（1998）“，”日志标题“：”函数编程杂志“}，{”issue“：”2“，”key“：”16_CR6“，”doi-asserted-by“：”publisher“，”first page“：“200”，”doi“：”10.1007\/s001650050047“，”volume“：‘11’，”author“：”R.Bird“，”year“：”1999“，”unstructured“：”Bird，R.，Paterson，R.：嵌套数据类型的一般折叠。计算的形式方面\u00a011（2），200\u2013222（1999）“，”Journal-title“：”计算的形式方面“}，{“key”：“16_CR7”，“unstructured”：“Blampied，P.：非均匀数据类型的结构化递归。诺丁汉大学博士论文（2000）”}，}，“key“：”16_CR8“，”doi-asserted-by“：”crossref“，”unstructure“：”Fiore，M.，Plotkin，G.D.，Turi，D.：抽象语法和变量绑定。In：程序。《计算机科学中的逻辑》，第193\u2013202页（1999）“，“DOI”：“10.1109\/LICS.1999.782615”}，{“key”：“16_CR9”，“unstructured”：“Gill，A.：非标准函数语言的廉价森林砍伐。格拉斯哥大学博士学位论文（1996）”}Gill，A.，Launchbury，J.，Peyton Jones，S.L.：毁林捷径。In：程序。函数式编程语言与计算机体系结构，第223\u2013232（1993）页“，“DOI”：“10.1145\/165180.165214”}，{“key”：“16_CR11”，“unstructured”：“Ghani，N.，Haman，M.，Uustalu，T.，Vene，V.：将循环结构表示为嵌套类型。发表于《函数式编程趋势》（2006）”}中，{非结构化”：“Ghani，N.，Johann，P.，Uustalu，T.，Vene，V.：单体增强和广义捷径融合。In：程序。函数式编程国际会议，第294\u2013305（2005）页”，“DOI”：“10.1145\/1086365.1086403”}，{“key”：“16_CR13”，“DOI-asserted-by”：“crossref”，“unstructured”：“Ghani，N.，Uustalu，T.，Vene，V.：构建、增强和销毁。通用。摘自：《亚洲编程语言研讨会论文集》，第327\u2013347（2003）页”10.1007\/978-3-540-30477-7_22“}，{”issue“：”4“，”key“：”16_CR14“，“first page”：”193“，”volume“：“3”，”author“：”R.Hinze“，”year“：”1999“，”unstructured“：”Hinze，R.：嵌套数据类型上的多型函数。离散数学与理论计算机科学\u00a03（4），193\u2013214（1999）“，”journal-title“：”离散数学与理论计算机科学“}，{“key”：“16_CR15”，“series-title”：“计算机科学课堂讲稿”，“volume-title”：《泛型编程》，“author”：“R.Hinze”，“year”：“2000”，“unstructured”：“Hinze，R.：高效广义折叠。in:Jazayeri，M.，Musser，D.R.，Loos，R.G.K.（eds.）通用编程。LNCS，vol.\u00a01766，Springer，Heidelberg（2000）“}，{”issue“：”3“，”key“：”16_CR16“，”doi-asserted-by“：”publisher“，”first page“：“305”，”doi“：”10.1017\/S0956796800003701“，”volume“：，305\u2013317（2000）“，”journal-title“：函数编程杂志”}，{“issue”：“5”，“key”：“16_CR17”，“doi-asserted-by”：“publisher”，“first page”：”493“，”doi“：”10.1017\/S09567968010404X“，”volume“：”11“，”author“：”R.Hinze“，”year“：”2001“，”unstructured“：”Hinze，R.：制造数据类型。函数编程杂志\u00a011（5），493\u2013524（2001）“，”journal-title“：”journal of Functional Programming“}，{“key”：“16_CR18”，“doi-asserted-by”：“publisher”，“first-page”：“273”，“doi”：“10.1023\/A:1022982420888”，”volume“：”15“，”author“：”P.Johann“，”year“：”2002“，”unstructured“：”Johann，P.：短程融合的推广及其正确性证明。高阶和符号计算\u00a015273\u2013300（2002）“，”journal-title“：”高阶和象征计算“}，{“key”：“16_CR19”，“volume-title”：“工作数学家的类别”，“author”：“S.MacLane”，“year”：“1971”，“unstructured”：“MacLane，S.：工作数学家类别。Springer，Heidelberg（1971）”}，“issue”：“”1“，”key“：”16_CR20“，”doi-asserted-by“：”publisher“，”first-pages“：”19“，”doi“：”10.1007\/s00165-003-0013-6“，”volume“：“16”，”author“：”C.Martin“，“year”：“2004”，”unstructured“：”Martin，C.，Gibbons，J.，Bayley，I.：约束嵌套数据类型的高效通用折叠。计算的形式方面\u00a016（1），19\u201335（2004）“，“journal-title”：“计算机的形式方面”}，{“issue”：“1”，“key”：“16_CR21”，“doi-asserted-by”：“publisher”，“first-page”：“69”，“doi”：“10.1017\/S095679683004829”，“volume”：”14“author”：“C.McBride”，“year”：“2004”，“unstructured”：“McBride，C.，McKinna，J.：左视图。函数编程杂志\u00a014（1），69\u2013111（2004）“，”Journal-title“：函数编程杂志”}，{“key”：“16_CR22”，“doi-asserted-by”：“publisher”，“first-page”：“1”，“doi”：“10.1017\/S0960129500003066”，“volume”：”10“，“author”：“A.Pitts”，“year”：“2000”，“unstructured”：“Pitts，A.：参数多态性和操作等效性。计算机科学中的数学结构\u00a010，1\u201339（2000）“，“journal-title”：“计算机科学的数学结构”}，{“key”：“16_CR23”，“doi-asserted-by”：“crossref”，“unstructured”：“Takano，A.，Meijer，E.：计算形式的快捷砍伐森林。在：过程。函数式编程语言与计算机体系结构，第306\u2013313页（1995）“，”DOI“：”10.1145\/224164.224221“}]，”container-title“：[”计算机科学课堂讲稿“，”键入Lambda Calculi与应用程序“]，”original-title”：[]，”link“：[{”URL“：”http://\/link.springer.com\/content\/pdf\/10007\/978-3-40-73228-0_16“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,1]]，”date-time“：”2019-05-01T03:16:14Z“，”timestamp“：1556680574000}，”score“：1，”resource“：{primary”：{“URL”：“http://link.springer.com/10.1007\/978-3-540-73228-0_16”}}，“subtitle”：[]，“shorttitle”“：[]，”已发布“：{”日期部分“：[[2007]]}，“ISBN”：[“9783540732273”，“978354732280”]，“references-count”：23，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-540-73228-0_16”，“relation”：{}，“ISSN”：【“0302-9743”，“1611-3349”】，“ISSN-type”：[{“value”：“0302-7743”]，“主题”：[]，“发布”：{“日期部分”：[[2007]]}}