OpenAlex
A generalization of Curry's theorem
Work