Comment Comment by bntr I like this catalog: https://github.com/prathyvsh/lambda-calculus-visualizationsAnd 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) parent bntr 8 months ago
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)