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
~
⇒ share ⇒ Structure ⇒ λ-Calculus Keeps On Giving ⇒ Analogous Structures ⇒ Begriffsschrift ⇒ Laws Of Form ⇒ Structure Sharing ⇒ Leerer Raum ⇒ verlassen ⇒ Raum vergessen ⇒ Soziales Vergessen (Social Oblivion)
DOT FROM lambda-browsing