{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T17:38:05Z”，“时间戳”：1725471485702}，“出版商位置”：“柏林，海德堡”，“参考计数”：32，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540659228“}，{”类型“：“electronic”，“value”：“9783540488552”}]，“license”：[{“start”：{“date-parts”：[[1999,1,1]]，“date-time”：“1999-01-01T00:00:00Z”，“timestamp”：915148800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http:\\/www.springer.com\/tdm”}]：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[1999]]}，“DOI”：“10.1007\/10703163_22”，“type”：“book-chapter”，“created”：{“date-parts”：[[2006,10,9]]，“date-time”：“2006-10-09T18:15:50Z”，“timestamp”：1160417750000}，”page“：”323-342“，”source“：“Crossref”，“is-referenced-by-count”：8，“title”：[“in Elemental Topos中的计算充分性”]，“前缀”：“101007”，”author“：[{“given”：“Alex K”，“family”：“Simpson”，“sequence”：“first”，“affiliation”：[]}]，“member”：“297”，“reference”：[{“key”：“22_CR1”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/BFb0026994“，”volume-title“：”Category Theory and Computer Science“，”author“A.Bucalo”，“year”：“1997”，“unstructured”：“Bucalo，A.，Rosolini，G.：起重。收录：Moggi，E.，Rosolili，G.（编辑）CTCS 1997。LNCS，卷\u00a01290。Springer，Heidelberg（1997）“}，{”key“：“22_CR2”，”doi-asserted-by“：”publisher“，”first page“：”171“，“doi”：“10.1016\/0890-5401（92）90018-B”，“volume”：“98”，“author”：“R.L.Crole”，“year”：“1992”，“unstructured”：“Crole，R.L.，Pitts，A.M.：不动点计算的新基础：FIX超理论和FIX-logic.Inf.及Comp.\u00a098，171\u2013.210（1992年）“，”journal-title“：”信息与公司。“}，{”key“：”22_CR3“，”doi-asserted-by“：”publisher“，”doi“：”10.1017\/CBO9780511526565“，”volume-title“：”部分映射范畴中的公理域理论“，”author“：”M.P.Fiore“，“year”：“1996”，“unstructured”：“Fiore，M.P.：部分映射范畴的公理领域理论。剑桥大学出版社，剑桥（1996）”}，}，“key”：“22_CR4”，“series-title“：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“first page”：“129”，”doi“：“10.1007\/3-540-63172-0_36”，“volume-title”：“计算机逻辑”，“author”：“M.P.Fiore”，年：“1997”，“unstructured”：“Fiore，M.P.，Plotkin，G.D.：公理域理论模型到合成域理论模型的扩展。作者：van Dalen，D.，Bezem，M.（编辑）CSL 1996。LNCS，第u00a01258卷，第129\u2013149页。Springer，Heidelberg（1997）“}，{“key”：“22_CR5”，“doi-asserted-by”：“crossref”，“unstructured”：“Fiore，M.P.，Rosolini，G.：合成viepoint中的cpo类别。发表于MFPS XIII（1997）”，“doi”：“10.1016\/S1571-0661 S0022-4049（96）00164-8“，”卷”：“116”，“作者”：“M.P.Fiore”，“年份”：“1997”，“非结构化”：“Fiore，M.P.，Rosolini，G.：合成领域理论的两个模型。《纯粹与应用代数杂志》\u00a0116，151\u2013162（1997）“，”期刊标题“：“纯粹与应用代数学杂志”}，{“key”：“22_CR7”，“unstructured”：“Freyd，P.J.，Murry，P.，Rosolini，G.，Scott，D.S.：扩展PERs.In:第五届计算机科学逻辑年会（1990）论文集”}、{“volume-title”：“程序设计语言的语义”，“年份”：“1992年”，“作者”：“C.A.Gunter”，“key”：“22_CR8”，“非结构化”：“Gunter，C.A.：编程语言的语义。麻省理工出版社，剑桥（1992）“}，{”key“：”22_CR9“，”doi-asserted-by“：”publisher“，”first page“：“101”，”doi“：”10.1016\/0304-3975（90）90165-E“，“volume”：“73”，“author”：“H.Huwig”，“year”：“1990”，“unstructured”：“Huwig，H.，Poign\u00e9，A.：关于笛卡尔闭范畴中的不动点导致的无能的注释。理论计算机科学\u00a073，101\u2013112（1990）“，”期刊标题“：”理论计算机科学“}，{“key”：“22_CR10”，“series-title”：“LNM”，“volume-title”：”范畴理论，《Como 1990》，“author”：“J.M.E.Hyland”，“year”：“1990”，“unstructured”：“Hyland，J.M.E.：合成域理论的第一步。摘自：《范畴理论》，《会议录》，科莫出版社，1990年。LNM，卷\u00a01488。Springer，Heidelberg（1990）“}，{”key“：”22_CR11“，”doi-asserted-by“：”publisher“，”first page“：“185”，”doi“：”10.1016\/S0022-4049（96）00108-9“，“volume”：“116”，“author”：“M.Jibladze”，“year”：“1997”，“unstructured”：“Jibladse，M.：初始提升代数的呈现。《纯粹与应用代数杂志》\u00a0116，185\u2013198（1997）“，”杂志标题“：“《纯粹与应用代数杂志》“}，{“key”：“22_CR12”，“series-title”：“LMS课堂讲稿”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/CBO9780511752483”，“volume-title”：《代数集理论》，“author”：“A.Joyal”，“year”：“1995”，“unstructured”：“Joyal，A.，Moerdijk，I.：代数集理论。LMS课堂笔记。剑桥大学出版社（1995）”}，“{”key“：”22_CR13“，“series-title”：“剑桥高等数学研究”，“volume-title”：“高阶范畴逻辑导论”，“author”：“J.Lambek”，“year”：“1986”，“unstructured”：“Lambek，J.，Scott，P.J.：《高阶范畴逻辑学导论》。剑桥大学进修高等数学。剑桥大学出版社，剑桥（1986）“}，{“key”：“22_CR14”，“unstructured”：“Longley，J.R.:Realizability Toposes and Language Semantics.博士论文，爱丁堡大学计算机科学系（1995）”}，}，“key“：”22_CR15“，”first page“：“469”，“volume”：”7“，”author“：”J.R.Longley“，”year“：”1997“，”unstructure“：”Longley，J.R.，Simpson，A.K.：可实现性模型中领域理论的统一描述。数学。结构。公司。科学。\u00a07，469\u2013505（1997）“，“新闻标题”：“公司。科学。“}，{”key“：”22_CR16“，”series-title“：”数学研究生课文“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/9781-4612-9839-7“，“volume-title”：“工作数学家的类别”，“author”：“S.M.Lane”，“year”：“1971”，“unstructured”：“Lane，S.M.：工作数学家的类别。数学研究生课文。Springer，Heidelberg（1971）“}，{“volume-title”：“Universitext”，“year”：“1992”，“author”：“S.Mac Lane”，“key”：“22_CR17”，“unstructured”：“Mac Lane，S.，Moerdijk，I.：《几何和逻辑中的滑轮：拓朴理论的首次介绍》。in:Universitext.Springer、Heidelbrg（1992）10.1016/0304-3975（90）90154-A“，”卷“：”70“，”作者“：”P.S.Mulry“，”年份“：”1990“，”非结构化“：”Mulry，P.S.：分类定点语义。理论计算机科学\u00a070，85\u201397（1990）“，“期刊标题”：“理论计算机科学”}，{“卷-时间”：“1997年逻辑讨论会”，“年份”：“1997”，“作者”：“J.Oosten van”，“键”：“22_CR19”，“非结构化”：“van Oos滕，J.：高等类型序列泛函的组合代数。In:1997年逻辑研究会。剑桥大学出版社，剑桥（1997）。目前可用作乌得勒支大学数学系预印本996（1997年）（待出版）“}，{“key”：“22_CR20”，“unstructured”：“van Oosten，J.，Simpson，A.K.：合成域理论中的公理和（反）示例。预印本1080，乌得勒支特大学数学系（1998年）”}，}，“key“：”22_CR21“非结构化”：“Phoa，W.K.-S.：有效域和内在结构。摘自：第五届计算机科学逻辑年度研讨会论文集（1990）“}，{“key”：“22_CR22”，“doi-asserted-by”：“publisher”，“first page”：《223》，“doi”：“10.1016\/0304-3975（77）90044-5”，“volume”：Plotkin，G.D.：LCF被认为是一种编程语言。理论计算机科学\u00a05，223\u2013255（1977）“，“期刊标题”：“理论计算机科学”}，{“key”：“22_CR23”，“unstructured”：“Plotkin，G.D.：部分函数的指称语义。课堂讲稿，CSLI暑期学校（1985）”}Reuse，B.：综合领域理论中的程序验证。慕尼黑大学博士论文（1995）“}，{”key“：”22_CR25“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“293”，”doi“：”10.1007\/BFb0026995“，”volume-title“：“CTCS 1997会议录”，”author“：”B.Reus“，”year“：”1997“，”unstructured“：”Reuse，B.，Streicher，T.：通用合成域理论\u2014逻辑方法。收录：Moggi，E.，Rosolini，G.（编辑）CTCS 1997。LNCS，第u00a01290卷，第293\u2013313页。Springer，Heidelberg（1997）“}，{“key”：“22_CR26”，“unstructured”：“Rosolini，G.：Topoi.博士论文中的连续性和有效性，牛津大学（1986）”}，“key“：”22_CR27“，”unstructure“：”Rosolini、G.：合成域理论注释。未出版注释（1995），可从ftp:/\\/ftp.disi.unige.it“}”，{”key“:”22_CR2“，”series-title“：”LNM“，”doi-asserted-by“：“publisher”，“first page”：“661”，“doi”：“10.1007\/BFb0061839”，“volume-title”：“Sheeves的应用”，“author”：“D.S.Scott”，“year”：“1979”，“unstructured”：“Scott，D.S.：直觉主义逻辑中的同一性和存在性。In：滑轮的应用。LNM，卷\u00a0753，第661\u2013696页。Springer，Heidelberg（1979）“}，{”key“：”22_CR29“，”unstructured“：”Simpson，A.K.：“Kleisli类别中的递归类型。未出版手稿（1992），可从ftp:\/\/ftp.dcs.ed.ac.uk\/pub\/als\/Research\/“}获得，{“key”：“22_CR30”，“unstructure”：“”Simpson，A.K.：直觉集理论中的代数紧性。发表于爱丁堡PSSL（1995年10月）（1999年准备）“}，{“key”：“22_CR31”，“unstructured”：“Taylor，P.：合成域理论中的不动点性质。发表于：第六届计算机科学逻辑年会论文集（1991年）”}，}，“key“：”22_CR32“，”doi-asserted-by“：”crossref“，”doi“：”10.7551\/mitpress\/3054.001.0001“，”volume-title“：”编程语言的形式语义”，“作者”：“G.Winskel”，“年份”：“1993年”，“非结构化”：“Winskel，G.：编程语言的正式语义。麻省理工学院出版社，剑桥（1993）“}”，“container-title”：[“计算机科学课堂讲稿”，“计算机科学逻辑”]，“原文标题”：[]，“language”：“en”，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/101007\/10703163_22”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“存放”：{date-parts“：[[2020,4,18]]，”date-time“：”2020-04-18T13:45:35Z“，”timestamp“：1587217535000}，”score“：1，”resource“：{”primary“：”URL“：”http://\link.springer.com\/10.1007\/10703163_22“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{488552“]，”references-count“：32，”URL“：”http:\/\/dx.doi.org\/10.1007\/10703163_22“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}，{”型“：”电子“，”数值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期部分“：[1999]]}}}}