>>303
その辺りは昔、関数型言語の遅延評価の実装で良く議論されました。
古いけど全文公開されている↓の「第二部 グラフ簡約」など。
http://research.microsoft.com/~simonpj/papers/slpj-book-1987/slpj-book-1987.pdf