4 ms·Dana Scott tells the real story of why the lambda in the lambda-calculus3 points by theaeolist 10y ago