Valeria de Paiva
id:
valeria-de-paiva-302-1763094
title:
Valeria de Paiva
text:
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.
brand slug:
wiki
category slug:
encyclopedia
description:
Brazilian mathematician, logician, and computer scientist
original url:
https://en.wikipedia.org/wiki/Valeria_de_Paiva
date created:
date modified:
2024-03-23T18:03:51Z
main entity:
{"identifier":"Q20731777","url":"https://www.wikidata.org/entity/Q20731777"}
image:
{"content_url":"https://upload.wikimedia.org/wikipedia/commons/0/0f/ValeriaApril2014.jpg","width":640,"height":480}
fields total:
13
integrity:
15