(web.archive.org) Lambda Diagrams

ROAM_REFS: https://web.archive.org/web/20140506001503/https:/homepages.cwi.nl/~tromp/cl/diagrams.html

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.

Local Graph

org-roam 2a07e4ea-610b-4c9a-bb84-d961fb2450e5 Code and Coffee Book Club 8d68f948-3d87-4e39-a317-d174ab5c57a5 (web.archive.org) Lambda Diagrams 2a07e4ea-610b-4c9a-bb84-d961fb2450e5->8d68f948-3d87-4e39-a317-d174ab5c57a5