Andrea Asperti, Paolo Coppola, Simone Martini
(Optimal) Duplication is not Elementary Recursive
POPL, 2000.
@inproceedings{POPL-2000-AspertiCM, author = "Andrea Asperti and Paolo Coppola and Simone Martini", booktitle = "{Proceedings of the 27th Symposium on Principles of Programming Languages}", doi = "10.1145/325694.325707", editor = "Mark N. Wegman and Thomas W. Reps", isbn = "1-58113-125-9", pages = "96--107", publisher = "{ACM}", title = "{(Optimal) Duplication is not Elementary Recursive}", year = 2000, }