A global representation of the recursive functions in the \(\lambda\)- calculus
scientific article; zbMATH DE number 3583776