Lambda Diagrams originally appeared at [1].

[1] https://tromp.github.io/cl/diagrams.html

Show 1 reply

This might have made my theory of programming languages class a little easier. I wonder if it's helpful with the simply typed lambda calculus.

I've temporarily buried this because it links to a tag index, with several articles, which is too broad/diverse to generate a good discussion on HN.

Submitter (diginova), please let us know which of the articles is the best to read and discuss and we'll make that the url and title.

(Best to email us at hn@ycombinator.com to be sure we get the message, as we might not remember to check back here).

Show 1 reply