Anagopos: a reduction graph visualizer for term rewriting and lambda calculus

Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen, Jakob Grue Simonsen

1 Citation (Scopus)
25 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Anagopos: a reduction graph visualizer for term rewriting and lambda calculus'. Together they form a unique fingerprint.