Lambda diagram: Difference between revisions
Jump to navigation
Jump to search
m bold |
m added external link section |
||
| Line 10: | Line 10: | ||
* [[Annotated lambda diagram]]s | * [[Annotated lambda diagram]]s | ||
* [[Annotated lambda diagram mockups]] | * [[Annotated lambda diagram mockups]] | ||
== External links == | |||
* Page about Lambda-diagrams on John Tromp's homepage: '''https://tromp.github.io/cl/diagrams.html''' | |||
Revision as of 13:26, 15 July 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