{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,19]]，“日期-时间”：“2023-01-19T05:39:48Z”，“时间戳”：1674106788931}，“引用-计数”：26，“发布者”：“IEEE Compute.Soc.Press”，“内容-域”：{“域”：[]，“交叉标记限制”：false}，“内政部”：“10.1109\/lics.1996.561302”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2002,12,24]]，“date-time”：“2002-12-24T04:00:26Z”，“timestamp”：1040702426000}，“source”：”Crossref“，“is-referenced-by-count”：12，“title”：[“u03c0-calculation的完全抽象模型”]，“prefix”：“10.1108”，“author”：[{“给定”：“M.P”，“family”：“Fiore”，“sequence”：“first”，“affiliation”：[]}，{“given”：“E.”，“family”：“Moggi”，“sequence”：“additional”，“affeliance”：[]}{“key”：“ref11”，“doi-asserted-by”：“publisher”，“doi”：“10.1006\/inco.1994.1052”}，{“key”：“ref12”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-09526-8_8”}，“新闻标题”：“Proceedings 7 Annual ACM Conference on Functional Programming Languages and Computer Architecture”}，{“key”：“ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS.1995.523261”}、{“密钥”：“ref16”，“doi-asserte-by”：“publisher”，“DI:”10.1016\/0890-5401（92 401（91）90052-4“}，{“key”：“ref18”，“article-title”：“类型代数、函子范畴和块结构”，“author”：“oles”，“year”：“1985”，“journal-title“：“语义中的代数方法”}，{“key”：”ref19“，”doi-asserted-by“：”publisher“，”doi“：”10.1006\/inco.1995.1108“}，”{“key”：“ref4”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/3-540-59293-8_212”}，{“键”：“参考3”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0168-0072（91）90065-T”}，{“key”：“ref6”，“author”：“baeten”，“year”：“1990”，“journal-title”：“Cambridge Tracts in Theory Computer Science”}：“cenciarelli”，“年份”：“1993”，“journal-title”：“Proceedings CTCS-5（Category Theory and Computer Science Fifth Biennial Meeting）”}，{“key”：“ref7”，“author”：“bolognesi”，“year”：“1989”，“日记标题”：“The Formal Description Technique LOTOS”}、{“key”：”ref2“doi-asserted-by”：“crossref”，“doi”：“10.1007\/3-540-57887-0_87”，“article-title“：“PCF的完全抽象（扩展抽象）”，“卷”：“789”，“作者”：“abramsky”，“年份”：“1994”，“期刊标题”：“计算机软件国际研讨会TACS’94论文集理论方面”}，{“key”：“ref9”，”author“：”fiore“，”year“：”1994“，”journal-title“：”部分映射范畴中的公理域理论“}，}”key“：”ref1“，”doi-asserted-by“：“publisher”，“DOI”：“10.1006\/inco.1991.9999”}，{“key”：“ref20”，“article-title”：“动态创建本地名称的高阶函数的可观测属性，或：What’s new？”，“volume”：”711“，”author“：”pitts“，”year“：”1993“，”journal-title“：”Proceedings MFCS'93：“在过程代数中表达迁移性一阶和高阶范式”}，{“key”：“ref21”，“doi断言者”：“publisher”，“doi”：“10.1017\/S0960112950000147X”}，{“key”：“ref24”，“doi断言者”：“publisher”，“doi”：“10.1007\/3-540-59293-8_194”}，{“key”：“ref23”，“author”：“sangiorgi”，“year”：“1994”，“journal title”：“On the bissimulation proof method”}，｛“key”：“ref26”，“author”：“thomsen”，“year”：“1990”，“journal title”：“Calculi for Higher Order Communication Systems”｝，｛“key”：“ref25”，“doi asserted by”：“publisher”，“doi”：“10.1137\/021062”｝]，“event”：｛“name”：“11th Annual IEEE Symposium on Logic in Computer Science”，“location”：“New Brunswick，NJ，USA”，“缩写”：“LICS-96”｝，“container title”：[“第11届IEEE计算机科学逻辑年会论文集”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx3\/12265\/00561302.pdf？arnumber=561302”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2017,6,15]]，“date-time”：“2017-06-15T16:37:29Z”，“时间戳”：1497544649000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/ieexplore.ieee.org/document\/5561302\/”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[null]]｝，“引用次数”：26，“URL”：“http:\/\/dx.doi.org/10.1109\/lics.1996.561302”，“关系”：｛｝，“主题”：[]｝｝