Type-2 Computability and Moore's Recursive Functions

In Electronic Notes in Theoretical Computer Science 120 (Proceedings of the Sixth International Workshop on Computability and Complexity in Analysis).

Please see the journal version.