  A complete family of functional Steiner formulas is established. As
applications, an explicit representation of functional intrinsic volumes using
special mixed Monge-Amp\`ere measures and a new version of the Hadwiger theorem
on convex functions are obtained.
