Vincent Padovani

Decidability of All Minimal Models (Revised Version - 2012) pdf

Vincent Padovani, 2012, ArXiv.

Ticket Entailment is decidable

Vincent Padovani, Vincent Padovani, 2017 .

Decidability of fourth-order matching

Vincent Padovani, Vincent Padovani, 2000, Mathematical Structures in Computer Science.

Relative Definability and Models of Unary PCF

Antonio Bucciarelli, Benjamin Leperchey, Vincent Padovani, 2003, TLCA.

On Equivalence Classes of Interpolation Equations

Vincent Padovani, Vincent Padovani, 1995, TLCA.

Retracts in Simple Types

Vincent Padovani, 2001, TLCA.

Decidability of All Minimal Models

Vincent Padovani, Vincent Padovani, 1995, TYPES.