Articles with public access mandates - Valeria de PaivaLearn more
Available somewhere: 9
An ecumenical notion of entailment
E Pimentel, LC Pereira, V de Paiva
Synthese 198 (Suppl 22), 5391-5413, 2021
Mandates: Austrian Science Fund, Agence Nationale de la Recherche
Dialectica categories for the Lambek calculus
V de Paiva, H Eades III
International Symposium on Logical Foundations of Computer Science, 256-272, 2017
Mandates: US National Science Foundation
Dialectica logical principles: not only rules
D Trotta, M Spadetto, V de Paiva
Journal of Logic and Computation 32 (8), 1855-1875, 2022
Mandates: UK Engineering and Physical Sciences Research Council, Government of Italy
Curing the SICK and other NLI maladies
AL Kalouli, H Hu, AF Webb, LS Moss, V De Paiva
Computational Linguistics 49 (1), 199-243, 2023
Mandates: German Research Foundation
Dialectica logical principles
D Trotta, M Spadetto, V de Paiva
International Symposium on Logical Foundations of Computer Science, 346-363, 2021
Mandates: US Department of Defense, UK Engineering and Physical Sciences Research …
Dialectica principles via Gödel doctrines
D Trotta, M Spadetto, V de Paiva
THEORETICAL COMPUTER SCIENCE 947, 2023
Mandates: UK Engineering and Physical Sciences Research Council, Government of Italy
Dialectica Comonads
V de Paiva
9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021), 2021
Mandates: US Department of Defense
Benchmarking Linear Logic Translations
C Olarte, V de Paiva, E Pimentel, G Reis
Mandates: Austrian Science Fund
Dialectica: fibrations and logical principles
D Trotta, M Spadetto, V de Paiva
Mandates: UK Engineering and Physical Sciences Research Council, Government of Italy
Publication and funding information is determined automatically by a computer program