6 ms·The invention of lamda-calculus [pdf]2 points by jegp 4y agoTepix 4y agoThere's an unfortunate typo in the headlinejegp 4y agoWhat is lambda-calculus and why is it important for the future of computing and natural science?