On the expressivity of elementary linear logic: Characterizing Ptime and an exponential time hierarchy
Keywords: Implicit computational complexity; Linear logic; Lambda-calculus; Polynomial time complexity; Type systems;