Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Valeria_de_Paiva> ?p ?o }
Showing triples 1 to 88 of
88
with 100 triples per page.
- Valeria_de_Paiva abstract "Valeria Correa Vaz de Paiva is a Brazilian mathematician, logician, and computer scientist associated with Nuance Communications.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.De Paiva earned a bachelor's degree in mathematics in 1982, a master's degree in 1984 (on pure Algebra) and completed a doctorate from the University of Cambridge in 1988, under the supervision of Martin Hyland. Her thesis introduced Dialectica spaces, a categorical way of constructing models of linear logic. She worked for nine years at PARC in Palo Alto, California, and also worked at Rearden Commerce and Cuill before joining Nuance. She is an honorary research fellow in computer science at the University of Birmingham.".
- Valeria_de_Paiva almaMater University_of_Cambridge.
- Valeria_de_Paiva doctoralAdvisor Martin_Hyland.
- Valeria_de_Paiva field Mathematics.
- Valeria_de_Paiva wikiPageExternalLink valeria-de-paiva.
- Valeria_de_Paiva wikiPageExternalLink citations?user=AYdo1hMAAAAJ.
- Valeria_de_Paiva wikiPageID "47321570".
- Valeria_de_Paiva wikiPageLength "3920".
- Valeria_de_Paiva wikiPageOutDegree "35".
- Valeria_de_Paiva wikiPageRevisionID "698527889".
- Valeria_de_Paiva wikiPageWikiLink Category:20th-century_mathematicians.
- Valeria_de_Paiva wikiPageWikiLink Category:21st-century_mathematicians.
- Valeria_de_Paiva wikiPageWikiLink Category:Alumni_of_the_University_of_Cambridge.
- Valeria_de_Paiva wikiPageWikiLink Category:American_computer_scientists.
- Valeria_de_Paiva wikiPageWikiLink Category:American_mathematicians.
- Valeria_de_Paiva wikiPageWikiLink Category:Brazilian_computer_scientists.
- Valeria_de_Paiva wikiPageWikiLink Category:Brazilian_mathematicians.
- Valeria_de_Paiva wikiPageWikiLink Category:Category_theorists.
- Valeria_de_Paiva wikiPageWikiLink Category:Living_people.
- Valeria_de_Paiva wikiPageWikiLink Category:Logicians.
- Valeria_de_Paiva wikiPageWikiLink Category:Women_computer_scientists.
- Valeria_de_Paiva wikiPageWikiLink Category:Women_mathematicians.
- Valeria_de_Paiva wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Valeria_de_Paiva wikiPageWikiLink Category_theory.
- Valeria_de_Paiva wikiPageWikiLink Computer_scientist.
- Valeria_de_Paiva wikiPageWikiLink Dialectica_space.
- Valeria_de_Paiva wikiPageWikiLink Functional_programming.
- Valeria_de_Paiva wikiPageWikiLink Knowledge_representation_and_reasoning.
- Valeria_de_Paiva wikiPageWikiLink Linear_logic.
- Valeria_de_Paiva wikiPageWikiLink Logic.
- Valeria_de_Paiva wikiPageWikiLink Martin_Hyland.
- Valeria_de_Paiva wikiPageWikiLink Mathematician.
- Valeria_de_Paiva wikiPageWikiLink Mathematics.
- Valeria_de_Paiva wikiPageWikiLink Natural_language.
- Valeria_de_Paiva wikiPageWikiLink Nuance_Communications.
- Valeria_de_Paiva wikiPageWikiLink PARC_(company).
- Valeria_de_Paiva wikiPageWikiLink Palo_Alto,_California.
- Valeria_de_Paiva wikiPageWikiLink Semantics.
- Valeria_de_Paiva wikiPageWikiLink Type_theory.
- Valeria_de_Paiva wikiPageWikiLink University_of_Birmingham.
- Valeria_de_Paiva wikiPageWikiLink University_of_Cambridge.
- Valeria_de_Paiva wikiPageWikiLinkText "Valeria Correa Vaz de Paiva".
- Valeria_de_Paiva wikiPageWikiLinkText "Valeria de Paiva".
- Valeria_de_Paiva wikiPageWikiLinkText "de Paiva, Valeria".
- Valeria_de_Paiva almaMater University_of_Cambridge.
- Valeria_de_Paiva doctoralAdvisor Martin_Hyland.
- Valeria_de_Paiva doctoralStudents "Gavin Bierman".
- Valeria_de_Paiva field Mathematics.
- Valeria_de_Paiva imageSize "150".
- Valeria_de_Paiva name "Valeria de Paiva".
- Valeria_de_Paiva wikiPageUsesTemplate Template:Authority_control.
- Valeria_de_Paiva wikiPageUsesTemplate Template:Infobox_scientist.
- Valeria_de_Paiva wikiPageUsesTemplate Template:Official.
- Valeria_de_Paiva wikiPageUsesTemplate Template:Reflist.
- Valeria_de_Paiva workInstitutions Nuance_Communications.
- Valeria_de_Paiva subject Category:20th-century_mathematicians.
- Valeria_de_Paiva subject Category:21st-century_mathematicians.
- Valeria_de_Paiva subject Category:Alumni_of_the_University_of_Cambridge.
- Valeria_de_Paiva subject Category:American_computer_scientists.
- Valeria_de_Paiva subject Category:American_mathematicians.
- Valeria_de_Paiva subject Category:Brazilian_computer_scientists.
- Valeria_de_Paiva subject Category:Brazilian_mathematicians.
- Valeria_de_Paiva subject Category:Category_theorists.
- Valeria_de_Paiva subject Category:Living_people.
- Valeria_de_Paiva subject Category:Logicians.
- Valeria_de_Paiva subject Category:Women_computer_scientists.
- Valeria_de_Paiva subject Category:Women_mathematicians.
- Valeria_de_Paiva subject Category:Year_of_birth_missing_(living_people).
- Valeria_de_Paiva hypernym Mathematician.
- Valeria_de_Paiva type Agent.
- Valeria_de_Paiva type Person.
- Valeria_de_Paiva type Scientist.
- Valeria_de_Paiva type Person.
- Valeria_de_Paiva type Agent.
- Valeria_de_Paiva type NaturalPerson.
- Valeria_de_Paiva type Thing.
- Valeria_de_Paiva type Q215627.
- Valeria_de_Paiva type Q5.
- Valeria_de_Paiva type Q901.
- Valeria_de_Paiva type Person.
- Valeria_de_Paiva comment "Valeria Correa Vaz de Paiva is a Brazilian mathematician, logician, and computer scientist associated with Nuance Communications.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.De Paiva earned a bachelor's degree in mathematics in 1982, a master's degree in 1984 (on pure Algebra) and completed a doctorate from the University of Cambridge in 1988, under the supervision of Martin Hyland. ".
- Valeria_de_Paiva label "Valeria de Paiva".
- Valeria_de_Paiva sameAs Q20731777.
- Valeria_de_Paiva sameAs Q20731777.
- Valeria_de_Paiva wasDerivedFrom Valeria_de_Paiva?oldid=698527889.
- Valeria_de_Paiva homepage valeria-de-paiva.
- Valeria_de_Paiva isPrimaryTopicOf Valeria_de_Paiva.
- Valeria_de_Paiva name "Valeria de Paiva".