Daniel Leivant
Stratified Functional Programs and Computational Complexity
POPL, 1993.
@inproceedings{POPL-1993-Leivant, author = "Daniel Leivant", booktitle = "{Conference Record of the 20th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/158511.158659", editor = "Mary S. Van Deusen and Bernard Lang", isbn = "0-89791-560-7", pages = "325--333", publisher = "{ACM Press}", title = "{Stratified Functional Programs and Computational Complexity}", year = 1993, }