A Dialectica-like Model of Linear Logic. - Valeria de Paiva (Category Theory and Computer Science, 1989)

Linear Lambda-Calculus and Categorial Models Revisited. - P. N. Benton; Gavin M. Bierman; Valeria de Paiva; Martin Hyland (CSL, 1992)

Rewriting Properties of Combinators for Rudimentary Linear Logic. - Monica Nesi; Valeria de Paiva; Eike Ritter (HOA, 1993)

A Term Calculus for Intuitionistic Linear Logic. - P. N. Benton; Gavin M. Bierman; Valeria de Paiva; Martin Hyland (TLCA, 1993)

Full Intuitionistic Linear Logic (extended abstract). - Martin Hyland; Valeria de Paiva (Ann. Pure Appl. Log., 1993)

A Formulation of Linear Logic Based on Dependency-Relations. - Torben Braüner; Valeria de Paiva (CSL, 1997)

On Explicit Substitution and Names (Extended Abstract). - Eike Ritter; Valeria de Paiva (ICALP, 1997)

Building Models of Linear Logic. - Valeria de Paiva; Andrea Schalk (AMAST, 1998)

Explicit Substitutions for Constructive Necessity. - Neil Ghani; Valeria de Paiva; Eike Ritter (ICALP, 1998)

Computational Types from a Logical Perspective. - P. N. Benton; Gavin M. Bierman; Valeria de Paiva (J. Funct. Program., 1998)

Categorical Models of Explicit Substitutions. - Neil Ghani; Valeria de Paiva; Eike Ritter (FoSSaCS, 1999)

Categorical Models for Intuitionistic and Linear Type Theory. - Maria Emilia Maietti; Valeria de Paiva; Eike Ritter (FoSSaCS, 2000)

Linear Explicit Substitutions. - Neil Ghani; Valeria de Paiva; Eike Ritter (Log. J. IGPL, 2000)

On an Intuitionistic Modal Logic. - Gavin M. Bierman; Valeria de Paiva (Stud Logica, 2000)

Categorical and Kripke Semantics for Constructive S4 Modal Logic. - Natasha Alechina; Michael Mendler; Valeria de Paiva; Eike Ritter (CSL, 2001)

Preventing existence. - Cleo Condoravdi; Dick Crouch; John O. Everett; Valeria de Paiva; Reinhard Stolle; Daniel G. Bobrow; Martin van den Berg (FOIS, 2001)

Making ontologies work for resolving redundancies across documents. - John O. Everett; Daniel G. Bobrow; Reinhard Stolle; Richard S. Crouch; Valeria de Paiva; Cleo Condoravdi; Martin van den Berg; Livia Polanyi (Commun. ACM, 2002)

Natural Deduction and Context as (Constructive) Modality. - Valeria de Paiva (CONTEXT, 2003)

Knowledge Tracking: Answering Implicit Questions. - Reinhard Stolle; Daniel G. Bobrow; Cleo Condoravdi; Richard S. Crouch; Valeria de Paiva (New Directions in Question Answering, 2003)

Editorial. - Valeria de Paiva; Rajeev Goré; Michael Mendler (J. Log. Comput., 2004)

Forthcoming Papers. - Valeria de Paiva; Rajeev Goré; Michael Mendler (J. Log. Comput., 2004)

Poset-valued sets or how to build models for linear logics. - Andrea Schalk; Valeria de Paiva (Theor. Comput. Sci., 2004)

Relating Categorical Semantics for Intuitionistic Linear Logic. - Maria Emilia Maietti; Paola Maneggia; Valeria de Paiva; Eike Ritter (Appl. Categorical Struct., 2005)

Preface. - Patrick Blackburn; Thomas Bolander; Torben Braüner; Valeria de Paiva; Jørgen Villadsen (HyLo@FLoC, 2006)

Intuitionistic hybrid logic. - Torben Braüner; Valeria de Paiva (J. Appl. Log., 2006)

Precision-focused Textual Inference. - Daniel G. Bobrow; Dick Crouch; Tracy Holloway King; Cleo Condoravdi; Lauri Karttunen; Rowan Nairn; Valeria de Paiva; Annie Zaenen (ACL-PASCAL@ACL, 2007)

Textual Inference Logic: Take Two. - Valeria de Paiva; Daniel G. Bobrow; Cleo Condoravdi; Dick Crouch; Tracy Holloway King; Lauri Karttunen; Rowan Nairn; Annie Zaenen (C&O:RR, 2007)

An Institutional View on Categorical Logic. - Joseph A. Goguen; Till Mossakowski; Valeria de Paiva; Florian Rabe 001; Lutz Schröder (Int. J. Softw. Informatics, 2007)

Deverbal Nouns in Knowledge Representation. - Olga Gurevich; Richard S. Crouch; Tracy Holloway King; Valeria de Paiva (J. Log. Comput., 2008)

Logic, Language, Information and Computation. - Grigori Mints; Valeria de Paiva; Ruy J. G. B. de Queiroz (Inf. Comput., 2009)

Intuitionistic Logic and Legal Ontologies. - Edward Hermann Haeusler; Valeria de Paiva; Alexandre Rademaker (JURIX, 2010)

Bridges from Language to Logic: Concepts, Contexts and Ontologies. - Valeria de Paiva (LSFA, 2010)

Constructive Description Logics Hybrid-Style. - Valeria de Paiva; Edward Hermann Haeusler; Alexandre Rademaker (HyLo@LICS, 2010)

Intuitionistic Description Logic and Legal Reasoning. - Edward Hermann Haeusler; Valeria de Paiva; Alexandre Rademaker (DEXA Workshops, 2011)

Fuzzy Topological Systems - Apostolos Syropoulos; Valeria de Paiva (CoRR, 2011)

Intuitionistic Modal Logic and Applications (IMLA 2008). - Valeria de Paiva; Brigitte Pientka (Inf. Comput., 2011)

OpenWordNet-PT: An Open Brazilian Wordnet for Reasoning. - Valeria de Paiva; Alexandre Rademaker; Gerard de Melo (COLING (Demos), 2012)

If, not when. - Dick Crouch; Valeria de Paiva (IMLA@UNILOG, 2013)

Preface. - Valeria de Paiva; Mario R. F. Benevides; Vivek Nigam; Elaine Pimentel (IMLA@UNILOG, 2013)

Natural Number Objects in Dialectica Categories. - Valeria de Paiva; Charles Morgan; Samuel G. Da Silva (LSFA, 2013)

Elements of Categorical Logic: Fifty Years Later. - Valeria de Paiva; Andrei Rodin (Logica Universalis, 2013)

Sense-Specific Implicative Commitments. - Gerard de Melo; Valeria de Paiva (CICLing (1), 2014)

Exploratory Information Extraction from a Historical Dictionary. - Valeria de Paiva; Dário Augusto Borges Oliveira; Suemi Higuchi; Alexandre Rademaker; Gerard de Melo (eScience Workshops, 2014)

Ontologies in Enterprise Application: Dimensional Comparison. - Valeria de Paiva; William Jarrold; David L. Martin 001; Peter F. Patel-Schneider; Karen Wallace; Peter Z. Yeh (FOMI@FOIS, 2014)

NomLex-PT: A Lexicon of Portuguese Nominalizations. - Valeria de Paiva; Livy Real; Alexandre Rademaker; Gerard de Melo (LREC, 2014)

Extending a Lexicon of Portuguese Nominalizations with Data from Corpora. - Cláudia Freitas; Valeria de Paiva; Alexandre Rademaker; Gerard de Melo; Livy Real; Anne Silva (PROPOR, 2014)

Embedding NomLex-BR nominalizations into OpenWordnet-PT. - Alexandre Rademaker; Valeria de Paiva; Gerard de Melo; Livy-Maria Real-Coelho (GWC, 2014)

OpenWordNet-PT: A Project Report. - Alexandre Rademaker; Valeria de Paiva; Gerard de Melo; Livy Real; Maira Gatti (GWC, 2014)

Linear logic model of state revisited. - Valeria de Paiva (Log. J. IGPL, 2014)

Intuitionistic N-Graphs. - Marcela Quispe-Cruz; Anjolina Grisi de Oliveira; Ruy J. G. B. de Queiroz; Valeria de Paiva (Log. J. IGPL, 2014)

Explaining Watson: Polymath Style. - Wlodek Zadrozny; Valeria de Paiva; Lawrence S. Moss (AAAI, 2015)

Seeing is Correcting: curating lexical resources using social interfaces. - Livy Real; Fabricio Chalub; Valeria de Paiva; Cláudia Freitas; Alexandre Rademaker (LDL@IJCNLP, 2015)

Fibrational Modal Type Theory. - Valeria de Paiva; Eike Ritter (LSFA, 2015)

A linked open data architecture for the historical archives of the Getulio Vargas Foundation. - Alexandre Rademaker; Dário Augusto Borges Oliveira; Valeria de Paiva; Suemi Higuchi; Asla Medeiros e Sá; Moacyr Alvim 001 (Int. J. Digit. Libr., 2015)

Semantic Links for Portuguese. - Fabricio Chalub; Livy Real; Alexandre Rademaker; Valeria de Paiva (LREC, 2016)

Making Virtue of Necessity: A Verb Lexicon. - Valeria de Paiva; Fabricio Chalub; Livy Real; Alexandre Rademaker (PROPOR, 2016)

An overview of Portuguese WordNets. - Valeria de Paiva; Livy Real; Hugo Gonçalo Oliveira; Alexandre Rademaker; Cláudia Freitas; Alberto Simões 001 (GWC, 2016)

Proceedings of the LexSem+Logics Workshop 2016. - Steven Neale; Valeria de Paiva; Arantxa Otegi; Alexandre Rademaker (CoRR, 2016)

22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015). - Valeria de Paiva; Lawrence S. Moss; Daniel Leivant; Ruy J. G. B. de Queiroz (Log. J. IGPL, 2016)

CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies. - Daniel Zeman; Martin Popel; Milan Straka; Jan Hajic; Joakim Nivre; Filip Ginter; Juhani Luotolahti; Sampo Pyysalo; Slav Petrov; Martin Potthast; Francis M. Tyers; Elena Badmaeva; et al. (CoNLL Shared Task (2), 2017)

Universal Dependencies for Portuguese. - Alexandre Rademaker; Fabricio Chalub; Livy Real; Cláudia Freitas; Eckhard Bick; Valeria de Paiva (DepLing, 2017)

Textual Inference: getting logic from humans. - Aikaterini-Lida Kalouli; Livy Real; Valeria de Paiva (IWCS(2), 2017)

Constructive Temporal Logic, Categorically. - Valeria de Paiva; Harley Eades III (FLAP, 2017)

Dialectical categories, cardinalities of the continuum and combinatorics of ideals. - Samuel G. Da Silva; Valeria de Paiva (Log. J. IGPL, 2017)

Linguistic Legal Concept Extraction in Portuguese. - Alessandra Cid; Alexandre Rademaker; Bruno Cuconato; Valeria de Paiva (JURIX, 2018)

Dialectica Categories for the Lambek Calculus. - Valeria de Paiva; Harley Eades III (LFCS, 2018)

Relating Legal Entities via Open Information Extraction. - Giovanni Siragusa; Rohan Nanda; Valeria de Paiva; Luigi Di Caro (MTSR, 2018)

SICK-BR: A Portuguese Corpus for Inference. - Livy Real; Ana Rodrigues 007; Andressa Vieira e Silva; Beatriz Albiero; Bruna Thalenberg; Bruno Guide; Cindy Silva; Guilherme de Oliveira Lima; Igor C. S. Câmara; Milos Stanojevic; Rodrigo Souza; Valeria de Paiva (PROPOR, 2018)

Extending Wordnet to Geological Times. - Henrique Muniz; Fabricio Chalub; Alexandre Rademaker; Valeria de Paiva (GWC, 2018)

On the Lambek Calculus with an Exchange Modality. - Jiaming Jiang; Harley Eades III; Valeria de Paiva (Linearity-TLLA@FLoC, 2018)

The ILLTP Library for Intuitionistic Linear Logic. - Carlos Olarte; Valeria de Paiva; Elaine Pimentel; Giselle Reis (Linearity-TLLA@FLoC, 2018)

Intuitionistic Modal Logic: A 15-year retrospective. - Charles A. Stewart; Valeria de Paiva; Natasha Alechina (J. Log. Comput., 2018)

Explaining Simple Natural Language Inference. - Aikaterini-Lida Kalouli; Annebeth Buis; Livy Real; Martha Palmer; Valeria de Paiva (LAW@ACL, 2019)

Composing Noun Phrase Vector Representations. - Aikaterini-Lida Kalouli; Valeria de Paiva; Richard S. Crouch (RepL4NLP@ACL, 2019)

Portuguese Manners of Speaking. - Valeria de Paiva; Alexandre Rademaker (GWC, 2019)

Preface. - Valeria de Paiva; Ruy J. G. B. de Queiroz (Math. Struct. Comput. Sci., 2019)

Women in Logic 2018 workshop report. - Mihaela Rozman; Valeria de Paiva; Amy P. Felty; Ursula Martin (ACM SIGLOG News, 2019)

Hy-NLI: a Hybrid system for Natural Language Inference. - Aikaterini-Lida Kalouli; Richard S. Crouch; Valeria de Paiva (COLING, 2020)

XplaiNLI: Explainable Natural Language Inference through Visual Analytics. - Aikaterini-Lida Kalouli; Rita Sevastjanova; Valeria de Paiva; Richard S. Crouch; Mennatallah El-Assady (COLING (Demonstrations), 2020)

Dialectica Fuzzy Petri Nets. - Valeria de Paiva; Apostolos Syropoulos (CoRR, 2020)

Deriving Theorems in Implicational Linear Logic, Declaratively. - Paul Tarau; Valeria de Paiva (ICLP Technical Communications, 2020)

Multiple conclusion linear logic: cut elimination and more. - Harley Eades III; Valeria de Paiva (J. Log. Comput., 2020)

Dialectica Comonads (Invited Talk). - Valeria de Paiva (CALCO, 2021)

The Gödel Fibration. - Davide Trotta; Matteo Spadetto; Valeria de Paiva (MFCS, 2021)

Dialectica Petri nets. - Elena Di Lavore; Wilmer Leal; Valeria de Paiva (CoRR, 2021)

Preface to Intiutionistic Modal Logic 2017. - Valeria de Paiva; Sergei Artemov (FLAP, 2021)

An ecumenical notion of entailment. - Elaine Pimentel; Luiz Carlos Pereira; Valeria de Paiva (Synth., 2021)

Extracting Mathematical Concepts from Text. - Jacob Collard; Valeria de Paiva; Brendan Fong; Eswaran Subrahmanian (W-NUT@COLING, 2022)

Of Seringueiros and Sambistas: Occupation Mappings in Historical Text. - Valeria de Paiva; Livy Real; Aikaterini-Lida Kalouli (DHandNLP@PROPOR, 2022)

Dialectica Logical Principles. - Davide Trotta; Matteo Spadetto; Valeria de Paiva (LFCS, 2022)

Dialectica logical principles: not only rules. - Davide Trotta; Matteo Spadetto; Valeria de Paiva (J. Log. Comput., 2022)

Extracting Blockchain Concepts from Text. - Rodrigo Veiga 002; Markus Endler; Valeria de Paiva (CoRR, 2023)

Parmesan: mathematical concept extraction for education. - Jacob Collard; Valeria de Paiva; Eswaran Subrahmanian (CoRR, 2023)

Extracting Mathematical Concepts with Large Language Models. - Valeria de Paiva; Qiyue Gao; Pavel Kovalev; Lawrence S. Moss (CoRR, 2023)

MathGloss: Building mathematical glossaries from text. - Lucy Horowitz; Valeria de Paiva (CoRR, 2023)

Dialectica principles via Gödel doctrines. - Davide Trotta; Matteo Spadetto; Valeria de Paiva (Theor. Comput. Sci., 2023)

Curing the SICK and Other NLI Maladies. - Aikaterini-Lida Kalouli; Hai Hu; Alexander F. Webb; Lawrence S. Moss; Valeria de Paiva (Comput. Linguistics, 2023)

Mathematical Entities: Corpora and Benchmarks. - Jacob Collard; Valeria de Paiva; Eswaran Subrahmanian (LREC/COLING, 2024)

Towards a Brazilian History Knowledge Graph. - Valeria de Paiva; Alexandre Rademaker (CoRR, 2024)

Categorifying computable reducibilities. - Davide Trotta; Manlio Valenti; Valeria de Paiva (Log. Methods Comput. Sci., 2025)

Translations and Prawitz's Ecumenical System. - Luiz Carlos Pereira; Elaine Pimentel; Valeria de Paiva (Stud Logica, 2025)

Math Natural Language Inference: this should be easy! - Valeria de Paiva; Qiyue Gao; Hai Hu; Pavel Kovalev; Yikang Liu 002; Lawrence S. Moss; Zhiheng Qian (CoRR, 2025)