On definition trees of ordinal recursive functionals: reduction of the recursion orders by means of type level raising (1982)

by Jan Terlouw
Venue:Journal of Symbolic Logic