Extensions of system F by iteration and primitive recursion on monotone inductive typesRalph MatthesÉpuiséPrévenez-moi
