Lambda Diagrams is a notation created in 2014 by John Tromp.
| #2801on PLDB | 9Years Old | 0Books |
| 0Papers |
Lambda Diagrams are a graphical notation for closed lambda terms, in which abstractions (lambdas) are represented by horizontal lines, variables by vertical lines emanating down from their binding lambda, and applications by horizontal links connecting the leftmost variables. In the alternative style, applications link the nearest deepest variables, for a more stylistic, if less uniform, look.