| |
| 2006 | ||
|---|---|---|
| 4 | EE | Sylvain Salvati: Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear lambda-Calculus. RTA 2006: 151-165 |
| 2004 | ||
| 3 | EE | Philippe de Groote, Sylvain Salvati: Higher-Order Matching in the Linear lambda-calculus with Pairing. CSL 2004: 220-234 |
| 2 | EE | Philippe de Groote, Bruno Guillaume, Sylvain Salvati: Vector Addition Tree Automata. LICS 2004: 64-73 |
| 2003 | ||
| 1 | EE | Sylvain Salvati, Philippe de Groote: On the Complexity of Higher-Order Matching in the Linear lambda-Calculus. RTA 2003: 234-245 |
| 1 | Philippe de Groote | [1] [2] [3] |
| 2 | Bruno Guillaume | [2] |