Alpha-recursion theory