Valeria de Paiva

URI: https://gptkb.org/entity/Valeria_de_Paiva
GPTKB entity
Statements (27)
Predicate Object
gptkbp:instanceOf gptkb:person
gptkbp:almaMater gptkb:University_of_Cambridge
gptkbp:birthPlace gptkb:Brazil
gptkbp:doctoralAdvisor gptkb:Martin_Hyland
gptkbp:employer gptkb:Stanford_University
gptkb:University_of_Birmingham
gptkb:University_of_Cambridge
gptkb:Xerox_PARC
gptkb:Nuance_Communications
gptkb:Samsung_Research_America
gptkbp:field gptkb:logic
gptkb:mathematics
computer science
gptkbp:gender female
https://www.w3.org/2000/01/rdf-schema#label Valeria de Paiva
gptkbp:knownFor gptkb:linear_logic
categorical logic
dialectica categories
gptkbp:nationality gptkb:Brazilian
gptkbp:occupation gptkb:computer_scientist
gptkb:logic
gptkb:mathematician
gptkbp:thesisTitle gptkb:The_Dialectica_Categories
gptkbp:thesisYear 1988
gptkbp:bfsParent gptkb:Martin_Hyland
gptkb:Joachim_Lambek
gptkbp:bfsLayer 6