Valeria de Paiva, profile picture

Valeria de Paiva

Sort by
Dialectica Comonoids
Dialectica Categorical Constructions
Logic & Representation 2021
Constructive Modal and Linear Logics
Dialectica Categories Revisited
PLN para Tod@s
Networked Mathematics: NLP tools for Better Science
Going Without: a modality and its role
Problemas de Kolmogorov-Veloso
Natural Language Inference: for Humans and Machines
Dialectica Petri Nets
The importance of Being Erneast: Open datasets in Portuguese
Negation in the Ecumenical System
Constructive Modal and Linear Logics
Semantics and Reasoning for NLP, AI and ACT