Brazilian mathematician, logician, and computer scientist
Valeria de Paiva
Born
Valeria Correa Vaz de Paiva
Alma mater
University of Cambridge (PhD)
Scientific career
Fields
Mathematics
Category theory
Proof theory
Type systems
Semantics[1]
Institutions
PARC Nuance Communications University of Birmingham
Thesis
The Dialectica Categories(1988)
Doctoral advisor
Martin Hyland[2]
Website
vcvpaiva.github.io
Valeria Correa Vaz de Paiva is a Brazilian mathematician, logician, and computer scientist.
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.[3][4][5]
^Cite error: The named reference googlescholar was invoked but never defined (see the help page).
^Cite error: The named reference mathgene was invoked but never defined (see the help page).
^"Valeria de Paiva", Career Profiles, Mathematical Association of America, retrieved 2015-07-24.
^"Profile: Valeria de Paiva" (PDF), Mathematics Awareness Month, Joint Policy Board for Mathematics, April 2015, retrieved 2015-07-24.
Valeria Correa Vaz dePaiva is a Brazilian mathematician, logician, and computer scientist. Her work includes research on logical approaches to computation...
founding head of Computer Professionals for Social Responsibility ValeriadePaiva (at PARC 2000–2008), uses logic and category theory to model natural...
the field. Samson Abramsky John C. Baez Bob Coecke Joachim Lambek ValeriadePaiva Gordon Plotkin Dana Scott David Spivak Categorical quantum mechanics...
Lee Browne Marta Bunge Agata Ciabattoni Barbara Csima Veronica Dahl ValeriadePaiva Itala D'Ottaviano Amina Doumane Catarina Dutilh Novaes Mirna Džamonja...
semantics. His former doctoral students include Eugenia Cheng and ValeriadePaiva. Martin Hyland publications indexed by Google Scholar Martin Hyland...
Michael Dummett Noriko H. Arai Peter of Spain Rudolf Carnap Saul Kripke ValeriadePaiva Willard Van Orman Quine William of Ockham Conceptualism Constructivism...
way of constructing models of linear logic. They were introduced by ValeriadePaiva, Martin Hyland's student, in her doctoral thesis, as a way of modeling...
Nachbin (1922-1993) Antonio Carbonari Netto Helena J. Nussenzveig Lopes ValeriadePaiva (born 1959) Jacob Palis (born 1940) Maurício Peixoto (1921-2019) Paulo...
Recursive Function Theory: Proc. Symposia in Pure Mathematics. pp. 1–27. ValeriadePaiva (1991). The Dialectica Categories (PDF). University of Cambridge, Computer...
physicist Ineke De Moortel, Belgian mathematician who studies the Sun's corona; president of Edinburgh Mathematical Society ValeriadePaiva, Brazilian researcher...
Chuaqui (Assessor 1991–1995) Newton da Costa (Assessor 2008–2011) ValeriadePaiva (Assessor 2020–2023) Dennis Dieks (Assessor 2012–2015) Heather Douglas...
Zaenen was honored by a Festschrift, edited by Tracy Holloway King and ValeriadePaiva. She was the founding editor of the online journal Linguistic Issues...
The outgoing titleholder, Laura Spoya of Lima crowned her successor, Valeria Piazza of Lima at the end of the event. The crowning featured the assistance...
desaparecidos' de la dictadura". Perfil.com (in Spanish). Retrieved 17 January 2021.[permanent dead link] Echazú, Renata Carolina; Paiva, Gabriel. "Capitalismo...
Grecco, Fabiana Sanches (May–August 2017). "Resenha: Abreu, Alice Rangel dePaiva; Hirata, Helena; Lombardi, Maria Rosa. (Orgs.) 'Gênero e Trabalho no Brasil...
Moreira as Chris Garcia Reinaldo Zavarce as himself Mariana Gimenez as Valeria "Seriado com música, paixões e terror estreia na Band". Terra. 12 October...
Larissa Costa Silva de Oliveira Miss Brazil: Marta Jussara da Costa [pt] (1979); Larissa Costa Silva de Oliveira (2009) 1st Runner-Up: Valéria Cristina Böhn...