Normal completely positive maps on the space of quantum operations

We define a class of higher-order linear maps that transform quantum operations into quantum operations and satisfy suitable requirements of normality and complete positivity. For this class of maps we prove two dilation theorems that are the analogues of the Stinespring and Radon-Nikodym theorems for quantum operations. A structure theorem for probability measures with values in this class of higher-order maps is also derived.