Jens Duelund Pallesen

Learn More
We present Anagopos, a tool for visualizing reduction graphs of terms in lambda calculus and term rewriting. Anagopos allows step-by-step generation of reduction graphs under 6 different graph drawing algorithms. We provide ample examples of graphs drawn with the tool. 1 Introduction Anagopos 1 is a tool for visualizing reduction graphs (see, e.g., Figure(More)
  • 1