Cyclic Lambda Graph Rewriting

Zena M. Ariola, Jan Willem Klop

Browse the full LICS paper archive.