[clean-list] GRS vs LTRS

Vag vag.vagoff at gmail.com
Tue Jun 16 17:34:08 MEST 2009


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


More information about the clean-list mailing list