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

Other information

key
item20
type
online
date_added
2012-06-03
date_published
1996-12-07

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 = {},
	date_added = {2012-06-03},
	date_published = {1996-12-07},
	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
}