Safe recursion revisited I: Categorical semantics for lower complexity. - Mike Burrell; J. Robin B. Cockett; Brian F. Redmond (Theor. Comput. Sci., 2014)