A Constructive Theory of Recursive Functions