Hacker News new | past | comments | ask | show | jobs | submit | from login
To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus (1996) (dkeenan.com)
18 points by sanroot99 on Aug 24, 2022 | past | 7 comments
A Graphical Notation for the Lambda Calculus with Animated Reduction (dkeenan.com)
2 points by memorable on May 11, 2022 | past
To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus (1996) (dkeenan.com)
1 point by Akronymus on Sept 9, 2021 | past
To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus (1996) (dkeenan.com)
102 points by dpatru on Dec 31, 2019 | past | 29 comments
To Dissect a Mockingbird: Lambda Calculus Animated Reduction (dkeenan.com)
3 points by Dangeranger on Oct 3, 2017 | past
A Graphical Notation for the Lambda Calculus with Animated Reduction(1996) (dkeenan.com)
1 point by kercker on Aug 7, 2016 | past
To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus (1996) (dkeenan.com)
1 point by brudgers on Dec 12, 2015 | past
To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus (1996) (dkeenan.com)
42 points by louthy on May 2, 2014 | past | 7 comments
To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus (dkeenan.com)
48 points by llambda on Dec 31, 2011 | past | 7 comments
A Graphical Notation for the Lambda Calculus with Animated Reduction (dkeenan.com)
4 points by mgunes on Feb 28, 2011 | past
To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus (dkeenan.com)
57 points by flatline on March 3, 2010 | past | 6 comments
To Dissect a Mockingbird (dkeenan.com)
2 points by eru on Dec 31, 2009 | past | 1 comment

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: