Valeria de Paiva

Valeria Correa Vaz de Paiva ye una matemática brasilana, lóxica, y científica informática acomuñada con comunicaciones de matiz.
El so trabayu inclúi busca n'aproximamientos lóxicos a computación, especialmente utilizando Teoría de categoríes, [[representación 
de la conocencia]] y llingua natural semántica, y programación funcional con un focu en fundaciones y teoríes de tipu. 

Ganó una llicenciatura en matemática en 1982, la maestría en 1984 (n'álxebra pura) y completó un doctoráu pola Universidá de Cambridge en 1988, so la supervisión de Martin Hyland.Valeria de Paiva La so tesis introdució Dialectica d'espacios, una manera Teoría de categoríes categórica de construyir modelos de lóxica llinial. 

Trabayó nueve años en PARC en Palo Alto, California, y tamién trabayó en Rearden Commerce y Cuill antes de xunise a Nuance.páxina Ye miembru honoraria de busca n'informática na Universidá de Birmingham.

 Delles publicaciones 
Term Assignment for Intuitionistic Linear Logic (con Benton, Bierman and Hyland). Technical Report 262, University of Cambridge Computer Laboratory. Agostu de 1992.

Lliniales (con J.M.Y. Hyland) In "O que nos cara pensar" Special number in Logic of "Cadernos do Dept. de Filosofia da PUC", Pontificial Catholic University of Rio de Janeiro, Abril 1991. 

A Dialectica-like Model of Linear Logic. In Proc. of Category Theory and Computer Science, Manchester, RU, setiembre de 1989. Springer-Verlag LNCS 389 (eds. D. Pitt, D. Rydeheard, P. Dybjer, A. Pitts, A. Poigne). 

The Dialectica Categories. In Proc. of Categories in Computer Science and Logic, Boulder, CO, 1987. Contemporary Mathematics 92, Am. Mathematical Society, 1989 (eds. J. Gray & A. Scedrov)

 Referencies 

 Enllaces esternos 

 Perfil de becariu del Google

Categoría:Informáticos ya informátiques d'Estaos Xuníos
Categoría:Matemáticos y matemátiques d'Estaos Xuníos
Categoría:Informáticos de Brasil
Categoría:Matemáticos y matemátiques de Brasil
Categoría:Matemáticos y matemátiques
Categoría:Wikipedia:Mantenimientu:Persones ensin plantía nym