Scholar
Valeria de Paiva
Google Scholar ID: AYdo1hMAAAAJ
Topos Institute, University of Birmingham
Category Theory
Proof Theory
Type Systems
Categorical logic
Semantics of Natural languages
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
5,524
H-index
34
i10-index
89
Publications
20
Co-authors
137
list available
Publications
3 items
Dialectica Categories over Heyting Algebras
2026
Cited
0
KnowTeX: Visualizing Mathematical Dependencies
arXiv.org · 2025
Cited
0
Math Natural Language Inference: this should be easy!
2025
Cited
0
Co-authors
9 total
Alexandre Rademaker
IBM Research and EMAp/FGV
Eike Ritter
Senior Lecturer in Computer Science, University of Birmingham, UK
Tracy Holloway King
Adobe Inc., Search Discovery and Content AI
Gerard de Melo
Professor at Hasso Plattner Institute / University of Potsdam
Natasha Alechina
Open University NL
Joakim Nivre
Professor of Computational Linguistics, Uppsala University
Ted Briscoe
Professor of Natural Language Processing, MBZUAI
Davide Trotta
Post doc, University of Pisa
