A Representation Theorem for Second-Order Functionals

• Papers

by Mauro Jaskelioff, Russell O'Connor

Link