An algorithm for deriving shared λ-graphs from expressions in pure lambda calculus by using hashes in a postorder tree traversal.| text.marvinborner.de
