Eric H. Drumm

• Extensions to Blum's size results in subrecursive formalisms