Stratified Functional Programs and Computational Complexity

@inproceedings{Leivant1993StratifiedFP,
  title={Stratified Functional Programs and Computational Complexity},
  author={Daniel Leivant},
  booktitle={POPL},
  year={1993}
}
Synopsis. We develop two notions of stratified recur 
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS