Parallel beta reduction is not elementary recursive
scientific article; zbMATH DE number 1853204