To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus (1996)cs.virginia.edu6 points·dpatru··0 commentsOpen articleSaveView on HN