{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,27]]，“日期时间”：“2024-04-27T03:25:08Z”，“时间戳”：1714188308066}，“出版商位置”：“柏林\/Heidelberg”，“引用计数”：22，“出版者”：“Springer-Verlag”，“isbn-type”：[{“值”：“354051662X”，“类型”：打印“}]，”内容域“：{”域“：[]，“crossmark-restriction”：false}，“short-container-title”：[]，“DOI”：“10.1007\/bfb0018347”，“type”：“book-capter”，“created”：{“date-parts”：[[2005.11,22]]，“date-time”：“2005-11-22T07:50:09Z”，“timestamp”：1132645809000}，《page》：“101-117”，“source”：《Crossref》，“is-referenced-by-count”：7，“title”：[“A category-theoretic account程序模块“]，”前缀“：“10.1007”，“author”：[{“given”：“Eugenio”，“family”：“Moggi”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“reference”：[[{”key“：”7_CR1“，”doi-asserted-by“：”crossref“，“unstructured”：“J.Benabou。纤维范畴与朴素范畴理论的基础。符号逻辑杂志，501985.”，“doi”：“10.2307\/2273784”}，{“key”：”7_c R2英寸，“非结构化”：“K.Bruce，A.Meyer，and J.Mitchell.二阶多态lambda演算的语义.信息与计算，73（2/3），1988。”}，{“key”：“7_CR3”，“unstructured”：“J.Cartmell.广义代数理论与上下文范畴。牛津大学博士论文，1978。卡德利。类型理论中的相位区分。草案4\/1\/88，DEC SRC，1988.“｝，｛“key”：“7_CR5”，“doi断言者”：“crossref”，“非结构化”：“T.Erhard。结构的分类语义。在第三届LICS Conf.IEEE，1988。”，“doi”：“10.1109\/LICS.1988.5125”｝，｛“key”：“7_CR6”，“doi断言者”：“crossref”，“非结构化”：“R.Harper和J.Mitchell。ML.的本质。在第15届POPL.ACM，1988。”，“doi”：“10.1145\/73560.75363“｝，｛“key”：“7_CR7”，“unstructured”：“R.Harper，D.MacQueen，and R.Milner。标准ML。技术报告ECS-LFCS-86-2，爱丁堡大学，计算机科学系，1986。”｝，｛“key”：“7_CR8”，“unstructured”：“R.Harper，R.Milner，and M.Tofte。语义标准ML。技术报告ECS-LFCS-87-36，爱丁堡大学计算机系。科学。，1987年。“}，{“key”：“7_CR9”，“unstructured”：“J.M.E.Hyland和A.M.Pitts.构式理论：范畴语义和拓扑理论模型。在AMS Conf.on Categories In Comp.Sci.and Logic（Boulder 1987），1987年。”}。凯利。丰富范畴理论的基本概念。剑桥大学出版社，1982年。“}，{”key“：”7_CR11“，”doi-asserted-by“：”crossref“，”unstructured“：”S.MacLane.工作数学家的类别。Springer Verlag，1971年。“，”doi“：”10.1007\/978-1-4612-9839-7“}”，{“key”：“7_CR12”，“doi-assert-by”：“Crosref”，“unstructure”：“D.MacQueen.标准ML.多态性的模块，21985.”，“doi”：“”10.1145\/800055.802036“}，{“key”：“7_CR13”，“doi-asserted-by”：“crossref”，“unstructured”：“D.MacQueen.使用依赖类型表示模块化结构。In 13th POPL.ACM，1986.”，“doi”：“10.1145\/512644.512670”}，}“key:”7_CR14“，”unstructure“：”E。莫吉。签名和函子的笛卡尔闭范畴及其在Martin-L\u00f6f型理论中的描述。手稿，贝尔实验室，1986年。“}，{”key“：”7_CR15“，”doi-asserted-by“：”crossref“，”unstructured“：”E.Moggi.计算lambda-calculus和monads.In 4th LICS Conf.IEEE，1989年。“，”doi“：”10.1109\/LICS.1989.39155“}”，{。普洛金。抽象类型具有存在类型。ACM事务处理。在Progr上。语言和系统。，10（3），1988。“，”DOI“：”10.1145 \/44501.45065“}，{“key”：“7_CR17”，“DOI-asserted-by”：“crossref”，“unstructured”：“R.Pare和D.Schumacher。抽象族和伴随函子定理。P.T.Johnstone和R.Pare:编辑，索引类及其应用，数学讲义第661卷。Springer Verlag，1978。”，“DOI”：“10.1007 \/BFb0061361“}，{“key”：“7_CR18”，“doi-asserted-by”：“crossref”，“unstructured”：“R.A.G.Seely.超学说，自然演绎和beck条件.Zeitschr.f.math.Logik und Grundlagen d.math.，291983。”，“doi”：“10.1002 \/malq.19830291005”}，“key“：”7_CR19“doi-sserted-by。看。局部笛卡尔闭范畴与类型理论。数学。程序。外倾角。Phil.Soc.，95，1984年。“，”DOI“：”10.1017\/S0305004100061284“}，{“key”：“7_CR20”，“DOI-asserted-by”：“crossref”，“unstructured”：“R.A.G.Seely.高阶多态lambda演算的范畴语义。符号逻辑杂志，52（2），1987年。”，“DOI”：“10.2307\/2273831”}，“key“：”7_CR21“，”DOI-assert-by“：”crossref.“，”非结构化“：”R。街道。单子的形式理论。《纯粹与应用代数杂志》，1972年2月。“，”DOI“：”10.1016\/0022-4049（72）90019-9“}，{“key”：“7_CR22”，“unstructured”：“P.Taylor。递归域，索引范畴理论和多态性。博士论文，剑桥大学，1987年。”}]，“container-title”：[“范畴理论和计算机科学”，“计算机科学课堂讲稿”]，“原文标题”：[]，“language”：“en”，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/BFb0018347.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2020,12,9]]，“date-time”：”2020-12-09T21:41:08Z“timestamp”：1607550068000}，“score”：1，“resource”（资源）：{“primary”（主资源）：}“URL”（URL）：“http://\/link.springer.com/10.1007\/BFb0018347”}}，“副标题”：[]，“短标题”：[]，“发布”：{“日期-部件”：[[null]]}，”ISBN“：[”354051662X“]，”references-count“：22，”URL“：”http://\/dx.doi.org\/10.10007\/BFb0018347“，”relationship“：{}”，“subject”：[]}}