Pascal Boldini

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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

Coauthor Index

1 Jean-Pierre Barthélemy [1]