Ramified recurrence and computational complexity. III: Higher type recurrence and elementary complexity
applicative programs with recurrence operators
scientific article; zbMATH DE number 1308104
scientific article