A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
of interaction nets with MPINE (353-356); Eelco Visser, Stratego: a language for program transformation 68 COMPUTER SCIENCE 8490 based on rewriting strategies (system description of Stratego 0.5) (357 ... Woinowski, A normal form for Church-Rosser language systems (322-337); Toshiyuki Yamada, Confluence and termination of simply typed term rewriting systems (338-352); Jorge Sousa Pinto, Parallel evaluation ...