A Predicative Analysis of Structural Recursion (1999)

by Andreas Abel, Thorsten Altenkirch