@inproceedings{degroote:inria-00100082, TITLE = {{Higher-order Matching in the Linear lambda-calculus with Pairing}}, AUTHOR = {de Groote, Philippe and Salvati, Sylvain}, URL = {https://inria.hal.science/inria-00100082}, NOTE = {Colloque avec actes et comit{\'e} de lecture. internationale.}, BOOKTITLE = {{18th International Workshop on Computer Science Logic - CSL'2004}}, ADDRESS = {Karpacz, Poland}, HAL_LOCAL_REFERENCE = {A04-R-345 || de\_groote04b}, EDITOR = {Jerzy Marcinkowski, Andrzej Tarlecki}, PUBLISHER = {{Springer}}, SERIES = {Lecture notes in Computer Science}, VOLUME = {3210}, PAGES = {220-234}, YEAR = {2004}, MONTH = Sep, KEYWORDS = {linear logic ; filtrage ; matching ; linear lambda-calculus ; lambda-calcul lin{\'e}aire ; logique lin{\'e}aire}, HAL_ID = {inria-00100082}, HAL_VERSION = {v1}, }