The invention of lamda-calculus [pdf] (jepedersen.dk)

What is lambda-calculus and why is it important for the future of computing and natural science?

There's an unfortunate typo in the headline