Research Frontiers in Implicit Computational Complexity and Recurrence Relations
Study of characterizing computational complexity classes through logical systems, lambda calculus variants, and recursive function theories without explicit resource bounds.