@inproceedings{salvati:inria-00099593, TITLE = {{On the complexity of higher-order matching in the linear $\lambda$-calculus}}, AUTHOR = {Salvati, Sylvain and de Groote, Philippe}, URL = {https://inria.hal.science/inria-00099593}, NOTE = {Colloque avec actes et comit{\'e} de lecture. internationale.}, BOOKTITLE = {{International Conference on Rewriting Techniques and Applications - RTA'2003}}, ADDRESS = {Valencia, Spain}, HAL_LOCAL_REFERENCE = {A03-R-271 || salvati03a}, EDITOR = {Robert Nieuwenhuis}, SERIES = {Lecture notes in Computer Science}, VOLUME = {2706}, PAGES = {234-245}, YEAR = {2003}, MONTH = Jun, KEYWORDS = {matching ; lambda-calcul ; lambda-calculus ; linear logic ; unification ; logique lin{\'e}aire ; filtrage}, HAL_ID = {inria-00099593}, HAL_VERSION = {v1}, }