A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction.

Kazutaka Matsuda, Kazuyuki Asada

Browse the full PEPM paper archive.