A rewriting calculus for cyclic higher-order term graphs
BALDAN, PAOLO, BERTOLISSI, CLARA, CIRSTEA, HORATIU, KIRCHNER, CLAUDEVolume:
17
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129507006093
Date:
June, 2007
File:
PDF, 802 KB
english, 2007