Defining a factorial function by iteration

Define the factorial function on integers (with the value zero for negative arguments) as the iteration of a functional, using the well-founded relation Zwf.

Solution

Follow this link


Going home
Yves Bertot
Last modified: Sun Feb 29 13:06:34 MET 2004