Characterizing polynomial and exponential complexity classes in elementary lambda-calculus
scientific article; zbMATH DE number 6889846
scientific article