New proofs of the Hadwiger theorem for smooth and for general valuations on convex functions are obtained, and the Klain-Schneider theorem on convex functions is established. In addition, an extension theorem for valuations defined on functions with lower dimensional domains is proved and its connection to the Abel transform is explained.