Valeria de Paiva
Valeria de Paiva | |
|---|---|
| Born | Valeria Correa Vaz de Paiva |
| Alma mater | University of Cambridge (PhD) |
| Scientific career | |
| Fields | |
| Institutions | PARC Nuance Communications University of Birmingham |
| Thesis | The Dialectica Categories (1988) |
| Doctoral advisor | Martin Hyland |
| Website | vcvpaiva |
Valeria Correa Vaz de Paiva is a Brazilian mathematician, logician, and computer scientist. Her work includes research on logical approaches to computation, especially using category theory, knowledge representation and natural language semantics, and functional programming with a focus on foundations and type theories.