# To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction

• Published in 1996
In the collections
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.

### BibTeX entry

@online{item20,
title = {To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction},
author = {David C Keenan},
url = {http://dkeenan.com/Lambda/index.htm},
urldate = {2012-06-03},
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 = {},
year = 1996,
collections = {Animals,Basically computer science}
}