Origins of recursive function theory | IEEE Conference Publication | IEEE Xplore