Jens Duelund Pallesen

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
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