Valeria de Paiva - CaLiGraph

Property	Value
rdf:type	Person associated with PARC Scientist at PARC (company) Category theorist Brazilian women computer scientist owl:NamedIndividual 20th-century American mathematician 20th-century American woman 20th-century birth 21st-century American mathematician 21st-century American woman Alumnus of the University of Cambridge American computer scientist American women mathematician Living person Woman in mathematics 20th-century women mathematician 21st-century women mathematician Brazilian mathematician Brazilian logician
rdfs:label	Valeria de Paiva
owl:sameAs	dbr:Valeria_de_Paiva
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:20th-century_women_mathematicians http://en.wikipedia.org/wiki/Category:21st-century_women_mathematicians http://en.wikipedia.org/wiki/Category:Scientists_at_PARC_(company) http://en.wikipedia.org/wiki/List_of_people_associated_with_PARC http://en.wikipedia.org/wiki/Category:20th-century_American_mathematicians http://en.wikipedia.org/wiki/Category:20th-century_American_women http://en.wikipedia.org/wiki/Category:21st-century_American_mathematicians http://en.wikipedia.org/wiki/Category:21st-century_American_women http://en.wikipedia.org/wiki/Category:Alumni_of_the_University_of_Cambridge http://en.wikipedia.org/wiki/Category:Alumni_of_the_University_of_Cambridge_by_college http://en.wikipedia.org/wiki/Category:American_computer_scientists http://en.wikipedia.org/wiki/Category:Lists_of_living_people http://en.wikipedia.org/wiki/Category:Living_people http://en.wikipedia.org/wiki/List_of_living_people http://en.wikipedia.org/wiki/Category:Category_theorists http://en.wikipedia.org/wiki/International_Union_of_History_and_Philosophy_of_Science http://en.wikipedia.org/wiki/Category:American_women_mathematicians http://en.wikipedia.org/wiki/List_of_women_in_mathematics http://en.wikipedia.org/wiki/Category:Brazilian_women_computer_scientists http://en.wikipedia.org/wiki/Category:Brazilian_mathematicians http://en.wikipedia.org/wiki/Category:Brazilian_mathematicians_by_century http://en.wikipedia.org/wiki/List_of_Brazilian_mathematicians http://en.wikipedia.org/wiki/Category:Brazilian_logicians
skos:prefLabel	Valeria de Paiva
clgo:academicDiscipline	Computer science Category theory Proof theory Mathematics Type system Semantics (computer science)
clgo:almaMater	University of Cambridge
clgo:birthName	Valeria Correa Vaz de Paiva
clgo:doctoralAdvisor	Martin Hyland
clgo:institution	PARC (company)
is clgo:doctoralStudent of	Martin Hyland

About: clgr:Valeria_de_Paiva