{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T22:54:30Z”，“时间戳”：1725663270599}，“出版商位置”：“柏林，海德堡”，“参考计数”：12，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“类型”：”打印“，“值”：“9783839 540171621“}，{”类型“：“electronic”，“value”：“9783540472131”}]，“license”：[{“start”：{“date-parts”：[[1986,1,1]]，“date-time”：“1986-01-01T00:00:00Z”，“timestamp”：504921600000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[1986]]}，“DOI”：“10.1007\/3-540-17162-2_126”，“type”：“book-chapter”，“created”：{“date-parts”：[[2012,2,25]]，“date-time”：“2012-02-25T14:06:09Z”，“timestamp”：1330178769000}，”page“：”242-251“update-policy”：”http://\/dx.DOI.org\/10007\/springer_crossmark_policy“，”source“：”Crossref“，”is-referenced-by-count“：15，”title“：[“部分语素和\u03bbP-演算的类别”]，“前缀”：“10.1007”，“作者”：[{“given”：“Eugenio”，“family”：“Moggi”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2005,31]]}：“Burmeister P.部分代数\u2014年部分代数二值模型理论统一方法综述。代数普遍（15），1982。”，“DOI”：“10.1007”，{“key”：“14_CR2”，“DOI-asserted-by”：“crossref”，“unstructured”：“Fourman M.P.Topoi的逻辑。Barwise J.（编辑），《逻辑研究》。第90卷：数理逻辑手册。北荷兰，1977年。“，“DOI”：“10.1016\/S0049-237X（08）71128-5”}，{“key”：“14_CR3”，“DOI-asserted-by”：“crossref”，“unstructured”：“Friedman H.函数之间的平等。见Parikh R.（编辑），数学讲义。第453卷：逻辑学术讨论会’75。Spriger Verlag，1975年。“，”DOI“：”10.1007\/BFb0064870“}，{“key”：“14_CR4”，“unstructured”：“Heller A.Dominical Categories.In Atti della Scuola di Logica di Siena，1982.，1982.”}，“{”key“：”14_CR5“，”DOI-asserted-by“：”crossref“，”unstructure“：”Longo G.，Moggi E..有效类型结构的笛卡尔闭枚举类。Kahn G.，MacQueen D.，Plotkin G.D.（编辑），《计算机科学讲义》。第173卷：1984年数据类型语义研讨会。Spriger Verlag，1984。“，“DOI”：“10.1007\/3-540-13346-1_12”}，{“key”：“14_CR6”，“unstructured”：“Obtulowicz A.部分函数范畴的逻辑及其应用。数学学位论文（241），1985。”}Plotkin G.D.Call-by-name、Call-by-value和\u03bb-calculus。理论计算机科学（1），1975年。“，”DOI“：”10.1016\/0304-3975（75）90017-1“}，{“key”：“14_CR8”，“unstructured”：“Plotkin G.D.类型和部分函数（课堂讲稿）。1985年。”}，“{”key“：”14_CR9“，”unstructure“：”Rosolini G..领域和领域类别。Rivista Matematica dell‘Universita’di Parma，1985年Rosolini G.。拓扑的连续性和有效性。卡内基梅隆大学数学系博士论文。，1986.“}，{“key”：“14_CR11”，“非结构化”：“Scott D.S.。直觉逻辑中的同一性和存在性。在Fourman M.P.，Mulvey C.J.，Scott D.S.（编辑），《数学讲义》。第753卷：Sheaves的应用。Spriger Verlag，1977。”}，{“key”：“14_CR12”，“非结构化”：“Scott D.S.《\u03bb-calculus的相关理论》。在Hindley R.，Seldin J.（编辑），To H.B.Curry：组合逻辑、lambda微积分和形式主义论文。学术出版社，1980年。“}”，“container-title”：[“计算机科学课堂讲稿”，“范畴理论与计算机程序设计”]，“原文标题”：[]，“language”：“en”，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-17162-2_126”，“content-type”：“unspecified”，“内容-版本”：“vor”，“intended-application”：“相似性检查”}]，“存放“：{“date-parts”：[[2020,1,8]]，“date-time”：“2020-01-08T18:19:21Z”，“timestamp”：1578507561000}，“score”：1，“resource”：{（主要）：{”URL“：”http://\/link.springer.com\/10.1007\/3-540-17162-2_126“}}，”副标题“：[”扩展摘要“]，“shorttitle”：[]，“issued”：{“date-ports”：[1986]}，《ISBN》：[“9797]83540171621“，”9783540472131“]，”引用计数“：12，”URL“：”http://\/dx.doi.org\/10.1007\/3-540-17162-2_126“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302-7743“}，{”类型“：”electronic“，”值“：”1611-33049“}]，”主题“：[]，”published“：{”date-parts“：[[1986]]}，“assertion”：[{“value”：“2005年5月31日”，“订单”：1，“名称”：“first_online”，“标签”：“第一在线”，“群组”：{”name“：”ChapterHistory“，”label“：”章节历史“}}]}}