To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus (1996)cs.virginia.edu6 pointsdpatru17 years ago