Valeria de Paiva

Valeria de Paiva 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. Provided by Wikipedia
Showing 1 - 5 results of 5 for search 'Valeria de Paiva', query time: 0.03s Refine Results
  1. 1
    On the Lambek Calculus with an Exchange Modality

    On the Lambek Calculus with an Exchange Modality by Jiaming Jiang, Harley Eades III, Valeria de Paiva

    Published 2019-04-01
    Get full text
    Article
  2. 2
    The ILLTP Library for Intuitionistic Linear Logic

    The ILLTP Library for Intuitionistic Linear Logic by Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis

    Published 2019-04-01
    Get full text
    Article
  3. 3
    Curing the SICK and Other NLI Maladies

    Curing the SICK and Other NLI Maladies by Aikaterini-Lida Kalouli, Hai Hu, Alexander F. Webb, Lawrence S. Moss, Valeria de Paiva

    Published 2023-03-01
    Get full text
    Article
  4. 4
    A MORTE E O PROCESSO DE MORRER: AINDA É PRECISO CONVERSAR SOBRE ISSO

    A MORTE E O PROCESSO DE MORRER: AINDA É PRECISO CONVERSAR SOBRE ISSO by Roberta de Lima, Alessandra Zanei Borsatto, Danielle Copello Vaz, Anne Caroline da Fonseca Pires, Valéria de Paiva Cypriano, Márcia de Assunção Ferreira

    Published 2018-03-01
    Get full text
    Article
  5. 5
    Integração com a Atenção Primária à Saúde: Experiência de uma Unidade de Referência em Cuidados Paliativos Oncológicos

    Integração com a Atenção Primária à Saúde: Experiência de uma Unidade de Referência em Cuidados Paliativos Oncológicos by Dolores Ferreira Fonseca, Alessandra Zanei Borsatto, Danielle Copello Vaz, Rita de Cássia de Jesus Santos, Valéria de Paiva Cypriano, Denise Cristina de Sequeira Pinto, Danièlle Probstner, Cristhiane da Silva Pinto, Djanyr Garcia Teixeira, Mariana Machado, Anne Caroline da Fonseca Pires, Fábia Ribeiro Sales Tintureiro, Simone Garruth dos Santos Machado Sampaio

    Published 2021-08-01
    Get full text
    Article

Search Tools: