The lambda calculus, and the closely related theory of combinators, are important in the foundations of mathematics, logic and computer science. This paper provides an informal and entertaining introduction by means of an animated graphical notation.

@online{item20,
key = {item20},
type = {online},
title = {To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction},
author = {David C Keenan},
abstract = {The lambda calculus, and the closely related theory of combinators, are important in the foundations of mathematics, logic and computer science. This paper provides an informal and entertaining introduction by means of an animated graphical notation.},
comment = {},
date_added = {2012-06-03},
date_published = {1996-09-14},
urls = {http://dkeenan.com/Lambda/index.htm},
collections = {Animals,Basically computer science},
url = {http://dkeenan.com/Lambda/index.htm},
urldate = {2012-06-03},
year = 1996
}