A Weak Calculus with Explicit Operators for Pattern Matching and Substitution (0)

by J Forest
Venue:13th International Conference on Rewriting Techniques and Applications. LNCS