@InProceedings{syntactic_descriptions_rta_2006, author = {Sylvain Salvati}, title = {Syntactic Descriptions: a Type System for Solving Matching Equations in the Linear $\lambda$-Calculus}, booktitle = {proceedings of the 17th International Conference on Rewriting Techniques and Applications}, year = 2006 }