| |
| 2003 | ||
|---|---|---|
| 5 | EE | Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani: Relative Definability and Models of Unary PCF. TLCA 2003: 75-89 |
| 2001 | ||
| 4 | EE | Vincent Padovani: Retracts in Simple Types. TLCA 2001: 376-384 |
| 2000 | ||
| 3 | Vincent Padovani: Decidability of fourth-order matching. Mathematical Structures in Computer Science 10(3): 361-372 (2000) | |
| 1995 | ||
| 2 | Vincent Padovani: On Equivalence Classes of Interpolation Equations. TLCA 1995: 335-349 | |
| 1 | EE | Vincent Padovani: Decidability of All Minimal Models. TYPES 1995: 201-215 |
| 1 | Antonio Bucciarelli | [5] |
| 2 | Benjamin Leperchey | [5] |