Applicative theories for logarithmic complexity classes

Sebastian Eberhard. Applicative theories for logarithmic complexity classes. Theoretical Computer Science, 585:115-135, 2015. [doi]

Abstract

Abstract is missing.