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[2] |
| 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.[3][4][5]
- ^ Cite error: The named reference
googlescholarwas invoked but never defined (see the help page). - ^ Cite error: The named reference
mathgenewas invoked but never defined (see the help page). - ^ "Valeria de Paiva", Career Profiles, Mathematical Association of America, retrieved 2015-07-24.
- ^ "Profile: Valeria de Paiva" (PDF), Mathematics Awareness Month, Joint Policy Board for Mathematics, April 2015, retrieved 2015-07-24.
- ^ Valeria de Paiva Official website