This paper treats type systems addressed to the semantics of recursive function classes closed under the known as safe recursion scheme. The strategy has been the introduction of an extension of former developments made ...