...-definable functionals and ... Conversion. R. Statman — 1983 Archiv für mathematische Logik und Grundlagenforschung