Stratified Functional Programs and Computational Complexity (1993)

by Daniel Leivant
Venue:In Proc. 20th IEEE Symp. on Principles of Programming Languages