| | To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus (1996) (dkeenan.com) |
| 11 points by pizza 13 days ago | past | 1 comment |
|
| | 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 |
|
