Pascal Boldini

Publication Activity (10 Years)

Years Active: 1995-2000
Publications (10 Years): 0

Publications

Pascal Boldini
Formalizing Context in Intuitionistic Type Theory. Fundam. Informaticae 42 (2) (2000)
Pascal Boldini
Vagueness and Type Theory. LACL (1996)
Jean-Pierre Barthélemy, Pascal Boldini
Representativity as Emergence. WOCFAI (1995)