Pascal Boldini

According to our database¹, Pascal Boldini authored at least 3 papers between 1995 and 2000.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2000

Formalizing Context in Intuitionistic Type Theory.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2000

1996

Vagueness and Type Theory.

[BibT_eX]

[DOI]

Proceedings of the Logical Aspects of Computational Linguistics, 1996

1995

Representativity as Emergence.

[BibT_eX]

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995