7 citations · 17 across the 5 of their papers we have counts for
1 paper · 2 filters
Axel Haddad
We propose a study of the modes of derivation of higher-order recursion schemes, proving that value trees obtained from schemes using innermost-outermost derivations (IO) are the s…