{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,1]]，“日期时间”：“2024-04-01T11:55:32Z”，“时间戳”：1711972532041}，“引用-计数”：42，“发布者”：“Elsevier BV”，“问题”：“51-52”，“许可证”：[{“开始”:{“日期部分2010-12-01T00:00:00Z“，“时间戳”：1291161600000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/”}，{“start”：{“date-parts”：[[2014,12,4]]，“date-time”：“2014-12-04T00:00:00Z”，“timestamp”：1417651200000}，“content-version”：“vor”，“delay-in-days”：1464，“URL“https:\\/www.elssevier.com//”开放访问\/userlicense\/1.0\/“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[“Theoryal Computer Science”]，“published-print”：{“date-parts”：[[2010,12]]}，”DOI“：”10.1016\/j.tcs.2010.09.011“，”type“：”journal-article“，”created“：{”date-parts:[[2010,9,23]]，“date-time”：“2010-09-23T08:36:21Z”，“timestamp”：1285230981000}，《page》：“4441-4466”，“source”：“Crossref”，“is-referenced-by-count”：21，“title”：[“Monad transformers as monoid transformer”]，“prefix”：“10.1016”，“volume”：“411”，“author”：[{“给定”：“Mauro”，“family”：“Jaskelioff”，“sequence”：“first”，“affiliation”：[]}，{“givent”：“Eugenio”，“家族”：“Moggi”，“序列”：“additional”，“从属关系”：[]}]，“member”：“78”，“reference”：[}“key”：“10.1016\/j.tcs.2010.09.011_br000005”，“series-title”：“FoSSaCS”，“first page”：“23”，“article-title”：”容器类别“，”卷“：”卷2620“，”作者“：”雅培“，”年份“：”2003“}，{“key”：”10.1016\/j.tc.2010.09.011_br 000010“，”非结构化“：”R.Atkey，什么是箭头的分类模型？in：数学结构函数编程，Electron。注释Theor。计算。科学，2008年（出版中）。“｝，｛”key“：”10.1016\/j.tcs.2010.09011_br000015“，”系列标题“：”计算机科学逻辑手册“，”第一页“：”117“，”文章标题“：”Lambda结石与类型“，”作者“：”Barendregt“，”年份“：”1992“｝，｛”key“：”10.1016\/j.tcs.2010.09011_br000020“，”系列标题“：”拓扑、三元组和理论“，”卷“：”第278卷“，”作者“：”巴尔“，”年份“：”1985“，”key“：”10.1016\/j.tcs.2010.09.011_br000025“，”series-title“：”计算机科学的范畴理论“，”author“：”Barr“，”year“：”1995“}，{“key”：“10.1016\/j.tc.2010.09.011_br 000030”，”series-title“：“中西部范畴研讨会报告”，“首页”：“1”，“article-title”：“双范畴简介”，“卷”：“vol.47”，“author”：“B\u00e9nabou”，“年份“：”1967年“}，{“key”：“10.1016\/j.tcs.2010.09.011_br000035”，“series-title”：“应用语义学国际暑期学校APPSEM2000”，“首页”：“42”，“文章-标题”：“单数与效果”，“作者”：“Benton”，“年份”：“2000”}，“密钥”：“101016\/j.tcs.2010.09.011_br 000040”，“系列-标题”:“范畴代数手册”，“author”：“Borceux”，“年”：“1994年“}，{”key“：”10.1016\/j.tcs.2010.09.011_br000045“，”doi-asserted-by“：”crossref“，”首页“：”76“，”doi“：”101016\/0890-5401（90）90044-I“，“article-title”：“二阶lambda演算的语义”，“volume”：“85”，“author”：“Bruce”，“year”：“1990”，“journal-title“：”Inf.Comput。“}，{”key“：”10.1016\/j.tcs.2010.09.011_br000050“，”series-title“：”编程语言与系统，第18届欧洲编程研讨会，ESOP 2009“，”volume“：“vol.5502”，”year“：”2009“}”，{“issue”：“18”，“key”：“10.1016\/j.tc.2010.09.011_br 000055”，“doi-asserted-by”：“crossref”，“first page”：”1704“，”doi“：”101016\/j.tcs.2008.12.05 52“，”文章标题“：”关于方程系统的自由代数的构造”，“卷”：“410”，“作者”：“Fiore”，“年份”：“2009”，“期刊标题”：“定理。计算。科学。“}，{”key“：”10.1016\/j.tcs.2010.09.011_br000060“，”series-title“：”CSL\u201996“，”first page“：“182”，”article-title“：“F-omega中的Eta扩展”，“volume”：“vol.1258”，“author”：“Ghani”，“year”：“1996”}，“key”：“，”doi“：”10.1016\/j.entcs.2006.04.012“，”article-title“：”箭头与单体一样，都是单体”，“volume”：“158”，“author”：“Heunen”，“year”：“2006”，“journal-title”：“Electron”。注释Theor。计算。科学。“}，{”issue“：”1\u20133“，”key“：”10.1016\/j.tcs.2010.09.011_br000070“，”doi-asserted-by“：”crossref“，”first-page“：”67“，”doi“：”101016\/S0167-6423（99）00023-4“，”article-title“：”将单数泛化为箭头“，”volume“：“37”，“author”：“Hughes”，“year”：“2000”，“journal-title”：“Sci.Compute.Programming”}，}“问题“：”1\u20133“，”密钥“：”10.1016\/j.tcs.2010.09.011_br000075“，”doi-asserted-by“：”crossref“，”first page“：”70“，”doi“：”10.1016\\j.tcs.2006.03.013“，”article-title“：”Combination effects:Sum and tensor“，”volume“：“357”，“author”：“Hyland”，“year”：“2006”，“journal-title”：“Theor。计算。科学。“}，{”key“：”10.1016\/j.tcs.2010.09.011_br000080“，”unstructured“：”M.Jaskelioff，Monatron:一个可扩展的单子变换器库，in：函数语言的实现和应用，IFL08，2008（正在出版）。“}”，{“key”：“10.1016\/j.tc.2010.09.011_br 000085”，“doi-asserted-by”：“crossref”，“unstructure”：“M。Jaskelioff，模块化单子变压器，收录于：G.\u00a0Castana[10]，pp.64\u201379.“，“DOI”：“10.1007\/978-3642-00590-9_6”}，{“key”：“101016\/j.tcs.2010.09.011_br000090”，“DOI-asserted-by”：“crossref”，“unstructured”：“S.L.\u00a 0Peyton Jones，P。Wadler，《强制函数编程》，载于：第20届ACM SIGPLAN-SIGACT编程语言原理研讨会，1993年，第71\u201384页统一处理自由代数、自由幺半群、colimit、相关带轮等的超限结构”，“卷”：“22”，“作者”：“Kelly”，“年份”：“1980”，“期刊标题”：“Bull”。澳大利亚。数学。Soc.“}，{”issue“：”1\u20132“，”key“：”10.1016\/j.tcs.2010.09.011_br000100“，”doi-asserted-by“：”crossref“，”first-page“：”163“，“doi”：“10.1016\/0022-4049（93）90092-8”，“article-title”：“其counits是coequalizers和有限单数的表示的伴随词”，“volume”：“89”，“author”：“Kelly”，“year”：“1993”，“journal-title“：”j.纯应用代数“}，{”key“：”10.1016\/j.tcs.2010.09.011_br000105“，“series-title”：“类别研讨会”，“article-title”：“两类元素的回顾”，“卷”：“第420卷”，“作者”：“Kelly”，“年份”：“1974”}，{“key”：”10.1016\/j.tc.2010.09.011 _br000110“，”series-title“致H.B.Curry：组合逻辑、Lambda演算和形式主义论文”，“第一页”：“375”，“article-title“：“从lambda微积分到笛卡尔闭范畴”，“author”：“Lambek”，“year”：“1980”}，{“key”：“10.1016\/j.tcs.2010.09.011_br000115”，“series-title”：“高阶范畴逻辑导论”，“author”:“Lambek”，“年份”：“1986”}、{“key”：“101016\/j.tcs.2010.09.011_br 000120”，“series-title”：《ESOP》，“首页”：“219”，“article”title“：”编译器构造的模块化指称语义”，“卷”：“第1058卷”，“作者”：“梁”，“年份”：“1996”}，{“键”：“10.1016\/j.tcs.2010.011_br000125”，“doi-asserted-by”：“crossref”，“非结构化”：“S.Liang，P.Hudak，M。Jones，Monad transformers and modular interpreslates，in：第22届ACM SIGPLAN-SIGACT编程语言原理研讨会，1995年，第333\u2013343页。“，“DOI”：“10.1145\/199448.199528”}，{“key”：“101016\/j.tcs.2010.011_br000130”，“unstructured”：“j.R.Longley，Realizability toposes and language semantics，Ph.D。论文，爱丁堡大学，1994年。“}，{”key“：”10.1016\/j.tcs.2010.09.011_br000135“，”doi-asserted-by“：”crossref“，”unstructured“：”C.L\u00fcth，N.Ghani，《使用余积合成单子》，载于：第七届ACM SIGPLAN函数编程国际会议，2002年，第133\u2013144页。“，”doi“：”101145\/581478.581492“}”，{“key”：“”10.1016\/j.tcs.2010.09.011_br000140“，”series-title“：“工作数学家的类别”，“卷”：“第5卷”，“作者”：“Mac~Lane”，“年份”：“1998”}，{“key”：“10.1016\/j.tc.2010.09.011_br 000145”，“series-ttle”：“代数理论”，“author”：“Manes”，“year”：“1976”}.09.011_br000150“，”doi-asserted-by“：”crossref“，”首页”：“231”，“DOI”：“10.1017\\S0960129598002515”，“文章标题”：“用monad实现集合类”，“卷”：“8”，“作者”：“Manes”，“年”：“1998”，“期刊标题”：“Math。结构计算。科学。“}，{”key“：”10.1016\/j.tcs.2010.09.011_br000155“，”series-title“：”第四届计算机科学逻辑年会“，”首页“：”14“，”article-title“：“计算lambda-calculus和monads”，”author“：”Moggi“，”year“：”1989“}”{“issue”：“1”，“key”：“10.1016\\j.tcs.2010.09.011_br 000160”，“doi-asserted-by”：“crossref”，“first page”：”55“，”doi“：”10.1016\/0890-5401（91）90052-4“，”文章标题“：”计算和单数概念“，”卷“：”93“，”作者“：”莫吉“，”年份“：”1991“，”期刊标题“：“Inf.Comput。“}，{”key“：”10.1016\/j.tcs.2010.09.011_br000165“，”series-title“：”计算的语义和逻辑“，”article-title“：“元语言和应用程序”，”author“：”Moggi“，”year“：”1997“}”，{“issue”：“3”，“key”：“10.1016\/j.tc.2010.09.011_br 000170”，“doi-asserted-by”：“crossref”，“首页”：“265”，“doi”：“1017\/S0”96012950200364X“，”文章标题“：”Tripos理论回顾”，“卷”：“12”，“作者”：“Pitts”，“年份”：“2002”，“新闻标题”：“数学”。结构计算。科学。“}，{”key“：”10.1016\/j.tcs.2010.09.011_br000175“，”doi-asserted-by“：”crossref“，“doi”：“10.1016\/S1571-0661（04）80970-8”，“article-title”：“代数运算的语义”，“volume”：“45”，“author”：“Plotkin”，“year”：“2001”，“journal-title“：”Electron.Notes.Theor.Comput.Sci.“}”，{“key”：”10.116\/j.tc.2010.09.011 _br000180“，”series-title“：”FoSSaCS“，”第一页“：”342“，”article-title“：”计算的概念决定单子“，”volume“：”vol.2303“，”author“：”Plotkin“，”year“：”2002“}，{“key”：“10.1016\/j.tcs.2010.09.011_br000185”，“doi-asserted-by”：“crossref”，”unstructured“：”G.D.Plot金，M.普雷特纳，代数效应的处理者。in:G.\u00a0Castagna[10]，pp.80\u201394.“，”doi“：”10.1007\/978-3642-00590-9_7“}，{“key”：“10.1016\/j.tcs.2010.09.011_br000190”，“series-title”：“TLCA”，“首页”：“295”，“article-title”：《直觉主义非交流线性逻辑的自然演绎》，“卷”：“vol.1581”，“author”：“Polakow”，“year”：“1999”}，}“issue”：“5”，”key“10.1016”：“j.tcs.2010.09.011_br 000195”，asserted-by“：”crossref“，”第一页“：”453“，”DOI“：”10.1017\/S0960129597002375“，”文章标题“：”前单体范畴和计算概念“，”卷“：”7“，”作者“：”权力“，”年份“：”1997“，”期刊标题“：“数学”。结构计算。科学。“}，{”key“：”10.1016\/j.tcs.2010.09.011_br000200“，”series-title“：”致H.B.Curry:组合逻辑、Lambda微积分和形式主义论文“，”article-title“：“u03bb-Calculus的相关理论”，“author”：“Scott”，“year”：“1980”}，“issue”：“4”，“key”：“10.1016\/j.tc.2010.09.011_br 000205”，“doi-asserted-by”：“crossref”，”第一页“：”461“，”doi“：”10.1017\/S0960129500001560“，“文章标题”：“理解单数”，“卷”：“2”，“作者”：“Wadler”，“年份”：“1992”，“期刊标题”：《数学》。结构计算。科学。“}，{”key“：”10.1016\/j.tcs.2010.09.011_br000210“，”doi-asserted-by“：”crossref“，”unstructured“：”P.Wadler，函数编程的本质，载于：第九届ACM SIGPLAN-SIGACT编程语言原理年会，1992年，pp.1\u201314.“，“doi”：“10.1145\/143165.143169”}]，“container-title”：[“理论计算机科学”]，“original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/api.elsevier.com/content\/article\/PII:S0304397510004901？httpAccept=text\/xml“，”content-type“：”text\/.xml“，”content-version“：”vor“，”intended-application“：”text-mining“}，{”URL“：”https:\/\\/api.else evier.com\/content\/artracle\/PI:S03093975100049 01？http-Accept=text\/plain“，”content-type“：”text\/plain”，“内容版本”：“vor”，“预期应用程序”：“文本挖掘”}]，“已存放”：｛“日期部分”：[[2018,12,7]，“日期时间”：“2018-12-07T22:26:54Z”，“时间戳”：1544221614000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https://linkinghub.elsevier.com/retrieve\/pii\/S03044397510004901”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛date-parts“：[[2010,12]]}，”references-count“：42，”journal-issue“：{”issue“：”51-52“，”published-print“：{”date-parts:[[2010,12]]}}，“alternative-id”：[“S0304397510004901”]，“URL”：“http://\/dx.doi.org\/101016\/j.tcs.2010.09.011”，“relation”：{}，《ISSN》：[“0304-3975”]，”ISSN-type“：[{“值”：“0304-3975”，“类型”：“打印”}]，“主题”：[]，“发布”：{日期部分“：[[2010,12]]}}}