Computable functionals of finite types, Algebra and Logic 11 (1972)

by Y L Erˇsov
Venue:Logic Colloquium, ’76(North-Holland