Marian Boykan Pour-El
Univ. of Minnesota, Minneapolis
Presentations of computably enumerable reals
Theoretical Computer Science