# 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.

## Other information

key
item20
type
online
2012-06-03
date_published
1996-02-02

### BibTeX entry

@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 = {},
}