This HTML5 document contains 29 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
category-eshttp://es.dbpedia.org/resource/Categoría:
dcthttp://purl.org/dc/terms/
wikipedia-eshttp://es.wikipedia.org/wiki/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-eshttp://es.dbpedia.org/resource/
n17http://research.nuance.com/author/valeria-de-paiva/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n5http://es.wikipedia.org/wiki/Valeria_de_Paiva?oldid=128382701&ns=
n14http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n10https://scholar.google.com/citations%3Fuser=
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
Subject Item
wikipedia-es:Valeria_de_Paiva
foaf:primaryTopic
dbpedia-es:Valeria_de_Paiva
Subject Item
dbpedia-es:Valeria_de_Paiva
rdf:type
owl:Thing dbo:Person wikidata:Q24229398 wikidata:Q215627 dbo:Agent foaf:Person n14:Agent n14:NaturalPerson schema:Person wikidata:Q5
rdfs:label
Valeria de Paiva
rdfs:comment
Valeria Correa Vaz de Paiva es una matemática brasileña, lógica, y científica informática asociada con comunicaciones de matiz. Su trabajo incluye búsqueda en aproximaciones lógicas a computación, especialmente utilizando Teoría de categorías, representación del conocimiento y lengua natural semántica, y programación funcional con un foco en fundaciones y teorías de tipo.​​ Trabajó nueve años en PARC en Palo Alto, California, y también trabajó en Rearden Commerce y Cuill antes de unirse a Nuance.​​ Es miembro honoraria de búsqueda en informática en la Universidad de Birmingham.​
dct:subject
category-es:Matemáticos_del_siglo_XX category-es:Matemáticos_del_siglo_XXI category-es:Alumnado_de_la_Universidad_de_Cambridge category-es:Mujeres_matemáticas_de_Brasil category-es:Informáticos_de_Estados_Unidos category-es:Matemáticos_de_Estados_Unidos category-es:Informáticos_de_Brasil
foaf:isPrimaryTopicOf
wikipedia-es:Valeria_de_Paiva
dbo:wikiPageID
7676649
dbo:wikiPageRevisionID
128382701
dbo:wikiPageExternalLink
n10:AYdo1hMAAAAJ n17:
dbo:wikiPageLength
3523
prov:wasDerivedFrom
n5:0
dbo:abstract
Valeria Correa Vaz de Paiva es una matemática brasileña, lógica, y científica informática asociada con comunicaciones de matiz. Su trabajo incluye búsqueda en aproximaciones lógicas a computación, especialmente utilizando Teoría de categorías, representación del conocimiento y lengua natural semántica, y programación funcional con un foco en fundaciones y teorías de tipo.​​ Ganó una licenciatura en matemática en 1982, la maestría en 1984 (en álgebra pura) y completó un doctorado por la Universidad de Cambridge en 1988, bajo la supervisión de Martin Hyland.​​ Su tesis introdujo Dialectica de espacios, una manera categórica de construir modelos de lógica lineal. Trabajó nueve años en PARC en Palo Alto, California, y también trabajó en Rearden Commerce y Cuill antes de unirse a Nuance.​​ Es miembro honoraria de búsqueda en informática en la Universidad de Birmingham.​
Subject Item
dbr:Valeria_de_Paiva
owl:sameAs
dbpedia-es:Valeria_de_Paiva