https://github.com/jeroenk/Anagopos3D
Tip revision: 1d8c6bb183a24d94e0487914410a52d3ecc0cc13 authored by Jeroen Ketema on 29 March 2015, 11:19:21 UTC
Update readme
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))