The invention of lamda-calculus [pdf]jepedersen.dk2 points·jegp··2 commentsOpen articleSaveView on HN