Definability and reducibility in higher types over the reals (0)

by D Normann
Venue:the proceedings of Logic Colloquium ’03