A note on recursive functions
1996 ◽
Vol 6
(2)
◽
pp. 127-139
◽
Keyword(s):
In this paper, we propose a new and elegant definition of the class of recursive functions, which is analogous to Kleene's definition but differs in the primitives taken, thus demonstrating the computational power of the concurrent programming language introduced in Walters (1991), Walters (1992) and Khalil and Walters (1993).The definition can be immediately rephrased for any distributive graph in a countably extensive category with products, thus allowing a wide, natural generalization of computable functions.
Keyword(s):
Research and Development for Makeup Object Moderl Agent Layer about XML Standard of Profession Field
2011 ◽
Vol 314-316
◽
pp. 2152-2157
Keyword(s):
2016 ◽
Vol 35
(3)
◽
pp. 347-358
Keyword(s):