To put in the nutshell, my point is that dag rewriting is better than graph rewriting as `base' of pure functional programming languages without manual proofs. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.science.ru.nl/pipermail/clean-list/attachments/20090616/8e513f72/attachment.html