Type homogeneity is not a restriction for safe recursion schemes

William Blum

Knapik et al. introduced the safety restriction which constrains both the types and syntax of the production rules defining a higher-order recursion scheme. This restriction gives…