(Optimal) Duplication is not Elementary Recursive.

Andrea Asperti, Paolo Coppola, Simone Martini

Browse the full POPL paper archive.