1. Ramified recurrence and computational complexity I: Word recurrence and poly-time;Leivant,1995
2. General ramified recurrence is sound for polynomial time;Dal Lago,2010
3. Machine models and simulation;Van Emde Boas,1990
4. Stratified functional programs and computational complexity;Leivant,1993
5. On sharing, memoization, and polynomial time;Avanzini,2015