Raw File
Tip revision: 1d8c6bb183a24d94e0487914410a52d3ecc0cc13 authored by Jeroen Ketema on 29 March 2015, 11:19:21 UTC
Update readme
Tip revision: 1d8c6bb

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