Languages Features Creators Calendar CSV Resources Blog About Pricing Add Language
GitHub icon

Lambda Diagrams

Lambda Diagrams - Notation

< >

Lambda Diagrams is a notation created in 2014 by John Tromp.

#2801on PLDB 9Years Old 0Books

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.

tengo.html 路 tromp-diagrams.html 路 uml2-sp.html

View source

- Build the next great programming language Search v2023 Day 205 Docs Acknowledgements Traffic Traffic Today Mirrors GitHub