The invention of lamda-calculus [pdf] (opens in new tab)

(jepedersen.dk)

2 pointsjegp3y ago2 comments

2 comments

Tepix3y ago

There's an unfortunate typo in the headline

jegpOP3y ago

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

j / k navigate · click thread line to collapse

(jepedersen.dk)

2 pointsjegp3y ago2 comments

Tepix3y ago

There's an unfortunate typo in the headline

jegpOP3y ago

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

j / k navigate · click thread line to collapse