A representation theorem for second-order functionals

   Abstract