Valeria de Paiva
Scholar

Valeria de Paiva

Google Scholar ID: AYdo1hMAAAAJ
Topos Institute, University of Birmingham
Category TheoryProof TheoryType SystemsCategorical logicSemantics of Natural languages
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
5,524
 
H-index
34
 
i10-index
89
 
Publications
20
 
Co-authors
137
list available
Contact
No contact links provided.
Publications
2 items
Dialectica Categories over Heyting Algebras
2026
Cited
0
Math Natural Language Inference: this should be easy!
2025
Cited
0
Resume (English only)
Co-authors
137 total
Alexandre Rademaker
Alexandre Rademaker
IBM Research and EMAp/FGV
Eike Ritter
Eike Ritter
Senior Lecturer in Computer Science, University of Birmingham, UK
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Tracy Holloway King
Tracy Holloway King
Adobe Inc., Search Discovery and Content AI
Co-author 8
Co-author 8