Travelled to:1 × Poland
1 × Spain
1 × United Kingdom
Collaborated with:∅ A.Bucciarelli B.Leperchey
Talks about:interpol (1) retract (1) equival (1) unari (1) simpl (1) relat (1) model (1) equat (1) defin (1) class (1)
Person: Vincent Padovani
DBLP: Padovani:Vincent
Contributed to:
200320011995Wrote 3 papers:
- TLCA-2003-BucciarelliLP #modelling
- Relative Definability and Models of Unary PCF (AB, BL, VP), pp. 75–89.
- TLCA-2001-Padovani
- Retracts in Simple Types (VP), pp. 376–384.
- TLCA-1995-Padovani #equation #equivalence #on the
- On Equivalence Classes of Interpolation Equations (VP), pp. 335–349.