Raw File

This file provides the example lambda terms from:

    N.B.B. Grathwohl, J. Ketema, J.D. Pallesen, and J.G. Simonsen. Anagopos:
    A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus.
    Proceedings of the 22nd International Conference on Rewriting Techniques
    and Applications (RTA 2011), volume 10 of LIPIcs, pages 61-70.

* Figure 1:


* Figure 2a:


* Figure 2b:


* Figure 4:


* Figure 6:


* Figure 7a:


* Figure 7b:

back to top