Lambda_calculus revisited for dummies (like me)lambdaway.fr1 point·martyalain··1 commentOpen articleSaveView on HN