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