Recursion versus iteration at higher-orders (1997)

by A J Kfoury
Venue:In Foundations of Software Technology and Theoretical Computer Science