News for hackers. Stuff that matters.

A comment on A circuit-like notation for lambda calculus (2015). Parent comment

Re:A circuit-like notation for lambda calculus (2015) by galaxyLogic on Monday August 17, 2020 @08:01PM (#24193746)
That is quite fascinating including the fact that much of it seems to have been invented in the 1600s. Why didn't they teach me this stuff in school?

Does diagrammatic Linear Algebra show us that in fact Lambda Calculus and Linear Algebra are really very related?

[ Parent | on HN ]

There are no comments on this comment yet.