, 2002, 'Concepts and aims of functional interpretations: towards a functional interpretation of constructive set theory', Synthese 133 (1-2), 257-274.