OpenAlex
A foundation for real recursive function theory
Work