On a hitherto unexploited extension of the finitary standpoint
computable function of finite simple type
scientific article; zbMATH DE number 3674086