{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,6]]，“日期时间”：“2024-09-06T10:26:25Z”，“时间戳”：1725618385939}，“引用计数”：34，“发布者”：“IEEE Compute.Soc”，“内容域”：{“域”：[]，“交叉标记限制”：false}，“DOI”：“10.1109\/lics.2002.1029837”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2003,6,25]]，“date-time”：“2003-06-25T18:14:31Z”，“timestamp”：1056564871000}，“page”：”287-298“，”source“：”Crossref“，”is-referenced-by-count“：1，”title“：[“直觉主义集合论模型中递归类型的计算充分性”]，“prefix”：“10.1109”，“author”：[{“给定”：“A.”，“family”：“Simpson”，“sequence”：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“19”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0168-0072（00 I“：”10.1007\/978-1-4471-0615-9“}，{“key”：“33”，“doi-asserted-by”：“publisher”，“DOI”：“10.1109\/LICS.1991.151640”}，{“key”：“15”，“DOI-asserted-by”：“publisher”，“DOI:”10.1017\/CBO9780511752483“}，“journal-title”：“Practical Foundations”，“year”：“1999”，“author”：“taylor”，“key“：”34“}”，{}，{“新闻标题”：“范畴逻辑与类型理论”，“年份”：“1999年”，“作者”：“jacobs”，“key”：“13”}，{“key“：“14”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0022-4049（96）00108-9”}Como 1990“}，{“key”：“12”，“doi断言者”：“publisher”，“doi”：“10.1017\\S0305004100057534”}，{“key”：“21”，“doi断言者”：“publisher”，“doi”：“10.1017\\S0960129500001481”}，{“key”：“20”，“doi断言者”：“publisher”，“doi”：“10.1109\\LICS.1990.113762”}，{“key”：“22”，“doi断言者”：“publisher”，“doi”：“10.1006\\inco.1994.1017”}，｛“key”：“23”，“doi断言者”：“publisher”，“doi”：“10.1016\/0304-3975（77）90044-5”}，{“journal-title”：“具有部分功能的指称语义”，“year”：“1985”，“author”：“plotkin”，“key”：“24”}、{“key“：”25“，”doi-asserted-by“：”publisher“，”doi“：”10.1017\/S09012959900273X“}，”journal-title“：”Topoi中的连续性和有效性“，”year“：”1986“，”author“：”rosolini“，”key“：“26”}，{“键”：“27”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/S0049-237X（09）70162-4”}，{“key”：“28”，“首页”：“403”，“article-title”：“？-演算的相关理论”，“author”：“scott”，“year”：“1980”，“journal-title“：”To H B Curry“}，”{“journal-tittle“：”Kleisli类别中的递归类型“，”year“：”1992“，”author“：”simpson“，”key“：“29”}，{“key”：“3”，“doi-asserted-by”：“publisher”，“DOI”：“10.1007\/3-540-63172-0_36”}，{“key”：“2”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1017\/CBO9780511526565“}，}“key”：”10“，“DOI-asserted-by”：”publisher“，”DOI“：”10.116\/S0049-237X（09）70129-6“}、{“密钥”：“1”、“DOI-aserted-by \/3-540-57182-5_14“}，{“key”：“30”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1007\/10703163_22”}，{“key”：“7”，“doi-asserted-by”：“publisher”，“doi”：“10.107\/BFb0084215”}“：”publisher“，”doi“：”10.1016\/S0304-3975（00）00221-8“}，{”key“：”31“，”doi-asserted-by“：“publisher”，“DOI”：“10.1109\/LICS.1999.782592”}，{“key”：“4”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1109\/LICS.1997.614954“}，}“key”：”9“，“doo-asserted-by”：”publisher“，”DOI“：”10.1016\/0890-5401（92）90019-C“}“DOI”：“10.1017\/CBO9780511525902.006”，“文章标题”：“代数紧范畴的备注”，“author”：“freyd”，“year”：“1992”，“journal-title”：“范畴在计算机科学中的应用”}]，“event”：{“name”：“第17届IEEE计算机科学逻辑年会”，“缩写词”：“LICS-02”，“location”：“Copenhagen，Denmark”}，“containertitle”：[“第17届IEEE计算机科学逻辑年会论文集”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx5\/8005\/22127\/01029837.pdf？arnumber=1029837”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2018,2,24]]，“date-time”：“2018-02-24T18:30:58Z”，“timestamp”：1519497058000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/ieexplore.iee.org\/document\/1029837\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[null]]}，‘references-count’：34，”URL“：”http://\/dx.doi.org\/10.109\/lics.2002.1029837“，”关系“：{}，”主题“：[]}}