swh:1:snp:a4ea39557e142075372c5e3f442f25e574a426d8
Raw File
Tip revision: 1d8c6bb183a24d94e0487914410a52d3ecc0cc13 authored by Jeroen Ketema on 29 March 2015, 11:19:21 UTC
Update readme
Tip revision: 1d8c6bb
examples.txt

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:

  ((\xy.yyyyyyyyyyyyyyyxxy)(\xy.yyyyyyyyyyyyyyyxxy)(\x.x))
      ((\xy.yyyyyyyyyyyyyyyxxy)(\xy.yyyyyyyyyyyyyyyxxy)(\x.x))

* Figure 2a:

  (\x.y)((\x.y)((\x.y)((\x.y)y)))

* Figure 2b:

  ((\x.x)y)((\x.x)y)((\x.x)y)((\x.x)y)

* Figure 4:

  (\x.xx(xx))(\x.xxy)

* Figure 6:

  (\xy.x(\z.yzy)x)(\x.x)(\xy.x(\z.yzy)x)

* Figure 7a:

  ((\x.x)y)((\x.xxx)\y.y)((\x.xx)\y.y)

* Figure 7b:

  ((\xy.yyyyxxy)(\xy.yyyyxxy)(\x.x))(((\x.x)y)((\x.x)y))
back to top