This document is unfortunately not available for download at the moment.
Benedikt Löwe , Florian Rudolph (2002) Synthese 133 (1-2).
Concepts and aims of functional interpretations
towards a functional interpretation of constructive set theory
Wolfgang Burr
pp. 257-274
Not implemented yet !