Valeria de Paiva

1. Proceedings 21st International Symposium on Logical and Semantic Frameworks with Applications
   2026/07/17 by Valeria de Paiva, Thaynara Arielly de Lima
   Computer Science · #Semantic Web and Ontologies #Logic, Reasoning, and Knowledge #Natural Language Processing Techniques
2. Dialectica Categories over Heyting Algebras
   2026/07/26 by Colin Bloomfield, Peter Jipsen, Valeria de Paiva
   #math.LO #cs.LO #math.CT