Charles Grellois (LIS, Aix-Marseille), Linearity in higher-order recursion schemes

Schedule