Visualising the lambda-calculus

By Andy

Remember the $\lambda$ -calculus? (I used to have $(\lambda x.xx)(\lambda x.xx)$ as a logo on my phone—maybe one for a t-shirt…)

These are amazing [found via reckless intuitions]:

Alligator eggs
Visual Lambda (see also this thesis) [found via unprincipled explosion]

This entry was posted on September 16, 2008 at 10:23 am and is filed under Logic, Visualisation. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.

Figural Effect

Visualising the lambda-calculus

Leave a Reply