7 citations · 17 across the 5 of their papers we have counts for
1 paper · 1 filter
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…