[jarpschop]

I don't think Turing knew about the existence of the lambda calculus when he wrote the paper. It was later that he decided to study his PhD under Church and move to Princeton.

[samwho]

This is correct, they were independent works. It’s spoken about in “The Annotated Turing” by Charles Petzold.