{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2022,4,3]]，“日期-时间”：“2022-04-03T03:25:41Z”，“时间戳”：1648956341188}，“参考-计数”：9，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“2”，“许可证”：[{“开始”：{'日期-部件“：[[2009,3,4]]，“时间”：“2009-03-04T00:00:00Z”，“时间戳”用法：123612480000}，“content-version”：“unspecified”，“delay-in-days”：4720，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Math.Struct.Comp.Sci.“]，”published-print“：{”date-parts“：[[1996,4]]}在本文中，我们提出了递归函数类的一个新的优雅定义，它类似于Kleene的定义，但在所采用的基元上有所不同，从而证明了Walters（1991）、Walter（1992）和Khalil and Walters的并发编程语言的计算能力<\/jats:p>对于具有乘积的可数广义范畴中的任何分布图，该定义都可以立即重新表述，从而允许计算函数的广泛、自然的泛化<\/jats:p>“，”DOI“：”10.1017\/s0960129500000918“，”type“：”journal-article“，”created“：{”date-parts“：[[2009,3,4]，”date-time“：”2009-03-04T04:00:09Z“，”timestamp“：1236139209000}，”page“：author“：[{”given“：”Nicoletta“，”family“：”Sabadini“，”sequence“：”first“，”affiliation“：[]}，{”given“：”Sebastiano“，”family“：”Vigna“，”serquence“:”additional“，”filiation”：[]{“given”：”Robert F.C.“，”fumily“:”Walters“，”sequence“；additional”，“affiliational”：[]}]，“member”：“56”，“published on”：{“date-parts”：[2009,3,4]}，“reference”：[{“key”：“S090129129 500000918_ref008“，“卷时间”：”Categories and Computer Science”，“author”：“Walters”，“year”：“1991”}，{“key”：“S096019500000918_ref009”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/S096012500001468”}、{“key”：”S096012500000918_ref006“，”doi-assert-by“：”publisher“，“doi:”10.1007\/9781-4757-4385-2 serted-by“：”publisher“，”doi“：”10.1051 \/ita\/199327060531“}，{“key”：“S096019500000918_ref001”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/359576.359579”}，}“key:”S0960129500000918_rf002“，”doi-assert-by“：”publisher“，“doi:”10.1016\/0022-4049 publisher“，”doi“：”10.2307\/2274486“}，{”key“：”S0960129500000918_ref007“，“非结构化”：“Sabadini N.，Walters R.F.C.和Weld H.（1993）分布式自动机和异步电路。CTCS\u201893，阿姆斯特丹。可通过匿名ftp在maths.su.oz.au的sydcat\/papers\/walters目录中获取。“}，{”key“：”S0960129500000918_ref004“，”volume-title“：”电路的双类别。数学与统计学院报告94\u201322“，”author“：”Katis“，”year“：”1994“}]，”container-title”：[“计算机科学中的数学结构”]，”original-title：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129500000918“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,12]，”date-time“：“2019-05-12T17:51:54Z”，“timestamptime”：1557683514000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129500000918\/type\/journal_article“}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[[1996,4]]}，”references-count“：9，”journal-issue“：{”issue“：”2“，”published-print“：{”date-parts“：[[1996,4]]}”，“alternative-id”：[“S09K129500000918“]，”URL“：”http:\/\/dx.doi.org\/10.1017\/s0960129500000918“，”关系“：{}，”ISSN“：[”0960-1295“，”1469-8072“]，”ISSN-type“：[{”值“：”09601295“，”类型“：”打印“}，{”价值“：”1469-80 72“，”类别“：”电子“}]，”主题“：[]，”发布“：{”日期部分“：[[1996,4]]}}}}