1 citations · 2 across the 4 of their papers we have counts for
4 papers
Extracting Mathematical Concepts from Text
Jacob Collard, Valeria de Paiva, Brendan Fong +1
We investigate different systems for extracting mathematical entities from English texts in the mathematical field of category theory as a first step for constructing a mathematica…
Categorifying computable reducibilities
Davide Trotta, Manlio Valenti, Valeria de Paiva
This paper presents categorical formulations of Turing, Medvedev, Muchnik, and Weihrauch reducibilities in Computability Theory, utilizing Lawvere doctrines. While the first notion…
Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications
Ugo Dal Lago, Valeria de Paiva
This volume contains a selection of papers presented at Linearity&TLLA 2020, namely the Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications,…
Proceedings of the LexSem+Logics Workshop 2016
Steven Neale, Valeria de Paiva, Arantxa Otegi +1
Lexical semantics continues to play an important role in driving research directions in NLP, with the recognition and understanding of context becoming increasingly important in de…