definable functionals and ## conversion (1983)

by Rick Statman
Venue:Arch. Math. Logik