MMichael Alan Dorman@mdorman2014-02-15 11:34A Representation Theorem for Second-Order Functionalsby Mauro Jaskelioff, Russell O'Connor Link