  A new version of the Hadwiger theorem on convex functions is established and
an explicit representation of functional intrinsic volumes is found using new
functional Cauchy-Kubota formulas. In addition, connections between functional
intrinsic volumes and their classical counterparts are obtained and
non-negative valuations are classified.
