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. 1998 ACM Subject Classification F.3.1, F.4.2, H.5.0, I.3.0
  • 1