Comment on To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus (1996)parentComments−tromp6yYet another is my Lambda Diagrams [1], an obsolete link for which appears at the bottom of the article.[1] https://tromp.github.io/cl/diagrams.htm
Comments
Yet another is my Lambda Diagrams [1], an obsolete link for which appears at the bottom of the article.
[1] https://tromp.github.io/cl/diagrams.htm