"On the Complexity of Higher-Order Matching in the Linear lambda-Calculus."

Sylvain Salvati, Philippe de Groote (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics