Author： Esbelin H.-A. More M.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.193, Iss.1, 1998-02, pp. : 129-148
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Computing minimum with primitive recursion over lists
By Fredholm D.
Theoretical Computer Science, Vol. 163, Iss. 1, 1996-08 ,pp. :
Access to resources
Recommend
Primitive recursion for higher-order abstract syntax
By Schurmann
Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. :
Full abstraction and recursion
Theoretical Computer Science, Vol. 151, Iss. 1, 1995-11 ,pp. :
-Recursion and infinite limits
By Mycka J.
Theoretical Computer Science, Vol. 302, Iss. 1, 2003-06 ,pp. :
Axioms for Recursion in Call-by-Value
By Hasegawa M.
LISP and Symbolic Computation, Vol. 15, Iss. 2-3, 2002-09 ,pp. :