Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory
functional interpretations of set theory
scientific article; zbMATH DE number 1901270