Showing Image 64 items

A new approach to recursive programs.
The convergence of functions to fixedpoints of recursive definitions