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