Pascal Boldini Vis

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

* 2000

3 Pascal Boldini: Formalizing Context in Intuitionistic Type Theory. Fundam. Inform. 42(2): 105-127 (2000)

1996

2 EE 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	EE	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]