Interesting Esoterica

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

Web page by David C Keenan
  • Published in 1996
  • Added on
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.

Links


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}
}