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.
_______________________________________________ clean-list mailing list [email protected] http://mailman.science.ru.nl/mailman/listinfo/clean-list
