Concepts and aims of functional interpretations: towards a functional interpretation of constructive set theory

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

Abstract

Abstract is missing.