λ-Calculus Keeps On Giving

Convergent evolution can give creatures analogous structures even though they cannot mate. But, in the intellectual world analogous structures take advantage of interfertilization and find new applications. And that we have seen happen with the lambda-calculus. pdf

TURING CENTENNIAL CELEBRATION Princeton University, May 10-12, 2012

ACM TURING CENTENARY CELEBRATION San Francisco, June 15-16, 2012

Dana S. Scott. wikipedia

~

DOT FROM lambda-browsing