Representativity as Emergence. - Jean-Pierre Barthélemy; Pascal Boldini (WOCFAI, 1995)

Vagueness and Type Theory. - Pascal Boldini (LACL, 1996)

Formalizing Context in Intuitionistic Type Theory. - Pascal Boldini (Fundam. Informaticae, 2000)