Computable functionals of finite types (1972)

by Yu L Ershov
Venue:Algebra and Logic