Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q20731777> ?p ?o }
Showing triples 1 to 69 of
69
with 100 triples per page.
- Q20731777 subject Q3919876.
- Q20731777 subject Q5312304.
- Q20731777 subject Q7017947.
- Q20731777 subject Q7027146.
- Q20731777 subject Q7067047.
- Q20731777 subject Q7116146.
- Q20731777 subject Q8206077.
- Q20731777 subject Q8207031.
- Q20731777 subject Q8310003.
- Q20731777 subject Q8349530.
- Q20731777 subject Q8723010.
- Q20731777 subject Q8797994.
- Q20731777 subject Q9651963.
- Q20731777 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.".
- Q20731777 almaMater Q35794.
- Q20731777 doctoralAdvisor Q6775742.
- Q20731777 field Q395.
- Q20731777 wikiPageExternalLink valeria-de-paiva.
- Q20731777 wikiPageExternalLink citations?user=AYdo1hMAAAAJ.
- Q20731777 wikiPageWikiLink Q1056428.
- Q20731777 wikiPageWikiLink Q1137289.
- Q20731777 wikiPageWikiLink Q170790.
- Q20731777 wikiPageWikiLink Q193076.
- Q20731777 wikiPageWikiLink Q217413.
- Q20731777 wikiPageWikiLink Q223429.
- Q20731777 wikiPageWikiLink Q33742.
- Q20731777 wikiPageWikiLink Q3478658.
- Q20731777 wikiPageWikiLink Q35794.
- Q20731777 wikiPageWikiLink Q3919876.
- Q20731777 wikiPageWikiLink Q395.
- Q20731777 wikiPageWikiLink Q39645.
- Q20731777 wikiPageWikiLink Q47265.
- Q20731777 wikiPageWikiLink Q5270532.
- Q20731777 wikiPageWikiLink Q5312304.
- Q20731777 wikiPageWikiLink Q6775742.
- Q20731777 wikiPageWikiLink Q7017947.
- Q20731777 wikiPageWikiLink Q7027146.
- Q20731777 wikiPageWikiLink Q7067047.
- Q20731777 wikiPageWikiLink Q7116146.
- Q20731777 wikiPageWikiLink Q750428.
- Q20731777 wikiPageWikiLink Q8078.
- Q20731777 wikiPageWikiLink Q8206077.
- Q20731777 wikiPageWikiLink Q8207031.
- Q20731777 wikiPageWikiLink Q82594.
- Q20731777 wikiPageWikiLink Q8310003.
- Q20731777 wikiPageWikiLink Q8349530.
- Q20731777 wikiPageWikiLink Q841728.
- Q20731777 wikiPageWikiLink Q8723010.
- Q20731777 wikiPageWikiLink Q8797994.
- Q20731777 wikiPageWikiLink Q9651963.
- Q20731777 almaMater Q35794.
- Q20731777 doctoralAdvisor Q6775742.
- Q20731777 field Q395.
- Q20731777 name "Valeria de Paiva".
- Q20731777 type Person.
- Q20731777 type Agent.
- Q20731777 type Person.
- Q20731777 type Scientist.
- Q20731777 type Agent.
- Q20731777 type NaturalPerson.
- Q20731777 type Thing.
- Q20731777 type Q215627.
- Q20731777 type Q5.
- Q20731777 type Q901.
- Q20731777 type Person.
- Q20731777 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. ".
- Q20731777 label "Valeria de Paiva".
- Q20731777 homepage valeria-de-paiva.
- Q20731777 name "Valeria de Paiva".