Computing cubic roots (with well-founded recursion)
Define a well-specified function that computes the cubic root of a natural number.
Solution
Follow this link
Going home
Yves Bertot
Last modified: Tue May 20 15:26:16 MEST 2003