The Speedup Theorem in a Primitive Recursive Framework.

Andrea Asperti The Speedup Theorem in a Primitive Recursive Framework. 175-182 2015 CPP https://doi.org/10.1145/2676724.2693178 conf/cpp/2015 db/conf/cpp/cpp2015.html#Asperti15