Vincent Padovani

	2003
5		Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani: Relative Definability and Models of Unary PCF. TLCA 2003: 75-89
	2001
4		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		Vincent Padovani: Decidability of All Minimal Models. TYPES 1995: 201-215

Coauthor Index

1	Antonio Bucciarelli	[5]
2	Benjamin Leperchey	[5]