Lambda Calculus Visualizations

Programming with Visual Expressions Wayne Citrin, Richard Hall, Benjamin Zorn

A Graphical Notation for the Lambda Calculus with Animated Reduction
David C Keenan

Alligator Eggs. A puzzle game.

Lambda Animator. Michael Thyer (java)

Visual Languages

Abstract Syntax and Semantics of Visual Languages
Martin Erwig

Visual Programming
Jean-Sebastien Mouret

tags: lambda
date: 06.02.2018