Uncurrying for termination and complexity
scientific article; zbMATH DE number 6184683
scientific article