OpenAlex
Lambda Theories of Effective Lambda Models
Work