Valeria de Paiva

Sort by

Más recientes

Populares

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