Computable functionals of finite type, Algebra i Logika (1972)

by L Ershov