A Representation Theorem for Second-Order Functionals.

Wed, 01 Jan 2014 00:00:00 +0100

Mauro Jaskelioff, Russell O'Connor:
A Representation Theorem for Second-Order Functionals. CoRR abs/1402.1699 (2014)