Valeria de Paiva
About
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.