| 2000 | ||
|---|---|---|
| 3 | Pascal Boldini: Formalizing Context in Intuitionistic Type Theory. Fundam. Inform. 42(2): 105-127 (2000) | |
| 1996 | ||
| 2 | Pascal Boldini: Vagueness and Type Theory. LACL 1996: 134-148 | |
| 1995 | ||
| 1 | Jean-Pierre Barthélemy, Pascal Boldini: Representativity as Emergence. WOCFAI 1995: 3-14 | |
| 1 | Jean-Pierre Barthélemy | [1] |