Pošalji tekstualnu poruku: Linearity in higher-order recursion schemes