Stratified Functional Programs and Computational Complexity.

Daniel Leivant

Browse the full POPL paper archive.