Lambda Diagrams

Videos of lambda terms normalizing. Graphical notation invented by John Tromp (https://tromp.github.io/cl/diagrams.html).

			Seven times Eight in Lambda Calculus by Paul Brauner			0:07
			Factorial 3 in Lambda Calculus by Paul Brauner			0:37
			Factorial 5 in Lambda Calculus, Leftmost Innermost by Paul Brauner			0:17
			Insertion Sort of [3,4,2,1] in Lambda Calculus by Paul Brauner			0:55
			Insertion Sort of [3,4,2,1] in Lambda Calculus, leftmost innermost by Paul Brauner			0:45
			Quicksort [3,4,2,1] in Lambda Calculs, Church Encoding by Paul Brauner			7:38
			Prime Number Sieve in Lambda Calculus by Paul Brauner			2:57
			Ackermann(3, 4) in Lambda Calculus by Paul Brauner			0:34
			Evaluation of a lambda term by a lambda-term. by Paul Brauner			0:58

Paul Brauner