alt Hacker NewsI like this catalog: https://github.com/prathyvsh/lambda-calculus-visualizations
And it seems that John Tromp's diagrams originate from David C. Keenan's Mockingbird (1996),
and Bubble Notation comes from Wayne Citrin's Visual Expressions (1995)
I like this catalog: https://github.com/prathyvsh/lambda-calculus-visualizations
And it seems that John Tromp's diagrams originate from David C. Keenan's Mockingbird (1996),
and Bubble Notation comes from Wayne Citrin's Visual Expressions (1995)
Thanks for the link! Some very pretty stuff there.
Missing AFAICT are categorical string diagrams. I'm only sort-of familiar with the notation for Haskell Arrows [1,2] but a quick google for "lambda calculus string diagrams" turns up some recent work by Dan Ghica and others that may be of interest.
[1] https://en.wikipedia.org/wiki/String_diagram
[2] Ross Paterson "A New Notation for Arrows" (2001)