Difference between revisions of "Lambda diagram"
From apm
(→External links) |
(added Category:Programming) |
||
| Line 15: | Line 15: | ||
* Page about Lambda-diagrams on John Tromp's homepage: '''https://tromp.github.io/cl/diagrams.html''' | * Page about Lambda-diagrams on John Tromp's homepage: '''https://tromp.github.io/cl/diagrams.html''' | ||
* Page with detailed explanation on how they are drawn and visually evaluated: '''[https://risingentropy.com/how-to-draw-lambda-diagrams/ How to draw lambda diagrams]''' ("Rising Entropy" blog 2020-07-06) | * Page with detailed explanation on how they are drawn and visually evaluated: '''[https://risingentropy.com/how-to-draw-lambda-diagrams/ How to draw lambda diagrams]''' ("Rising Entropy" blog 2020-07-06) | ||
| + | |||
| + | [[Category:Programming]] | ||
Revision as of 09:41, 26 September 2021
Lambda diagrams are a compact graphical visualization of lambda calculus with pretty much no room for interpretation.
Lambda diagrams are presented by John Tromp on his homepage here: https://tromp.github.io/cl/diagrams.html
To discern them from an extension onto the idea: annotated lambda diagrams (ALDs) as presented here on this wiki,
They basic normal lambda diagrams could also be called unannotated or "plain lambda diagrams" (PLDs)
Related
External links
- Page about Lambda-diagrams on John Tromp's homepage: https://tromp.github.io/cl/diagrams.html
- Page with detailed explanation on how they are drawn and visually evaluated: How to draw lambda diagrams ("Rising Entropy" blog 2020-07-06)
