Valeria De Paiva
| Use attributes for filter ! | |
| Gender | Female |
|---|---|
| Affiliations | University Of Birmingham |
| Education | University of Cambridge |
| Nationality | Brazilian |
| British | |
| Academic advisor | Martin Hyland |
| Edited works | Inheritance, Defaults and the... |
| Notable student | Gavin Mark Bierman |
| H index | 30 |
| Interests | Category Theory |
| Proof Theory | |
| Type Systems | |
| Categorical Logic | |
| Semantics Of Natural Languages | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3210485 |
Valeria De Paiva Life story
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 ...
Valeria de Paiva Photos
