Back to Results
First PageMeta Content



Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus Niels Bjørn Bugge Grathwohl1 , Jeroen Ketema2 , Jens Duelund Pallesen1 , and Jakob Grue Simonsen1 1
Add to Reading List

Document Date: 2011-04-26 05:41:56


Open Document

File Size: 1,68 MB

Share Result on Facebook