Virtual International Authority File


Paiva, Valeria de Sudoc [ABES], France BIBSYS National Library of France

Valeria Correa Vaz de Paiva Wikidata

De Paiva, Valeria. National Library of Israel Library of Congress/NACO NUKAT Center of Warsaw University Library

Valeria de Paiva Brazilian mathematician, logician, and computer scientist ISNI

Paiva, Valéria Correa Vaz de. National Library of Brazil

VIAF ID: 14862612 (Personal)


Open Section Close Section Preferred Forms





Open Section Close Section 4xx's: Alternate Name Forms (7)

Open Section Close SectionWorks

Title Sources
The ACQUILEX LKB: An Introduction Wikidata
Advances in Natural Deduction : A Celebration of Dag Prawitz's Work NUKAT Center of Warsaw University Library Sudoc [ABES], France
Bridges from Language to Logic: Concepts, Contexts and Ontologies Wikidata
Categorical and Kripke Semantics for Constructive S4 Modal Logic Wikidata
Categorical Models of Explicit Substitutions Wikidata
Constructive Description Logics Hybrid-Style Wikidata
Context inducing nouns Wikidata
Designing testsuites for grammar-based systems in applications Wikidata
A dialectica model of State National Library of Brazil
Domains and Lambda-Calculi by R. M. Amadio and P-L. Curien, Springer Verlag, 1999, ISBN 0521587751 Wikidata
Elements of Categorical Logic: Fifty Years Later Wikidata
Entailment, intensionality and text understanding Wikidata
Explicit substitutitions for constructive necessity Wikidata
Exploratory Information Extraction from a Historical Dictionary Wikidata
Extending a Lexicon of Portuguese Nominalizations with Data from Corpora Wikidata
Fibrational Modal Type Theory Wikidata
A formulation of linear logic based on dependency-relations Wikidata
From quirky case to representing space : papers in honor of Annie Zaenen : [colloque, 5 octobre 2011, Palo Alto Sudoc [ABES], France BIBSYS
Full intuitionistic linear logic (extended abstract)11Presented at the 9th International Congress of Logic, Methodology and Philosophy of Science held in Uppsala, Sweden, August 7-14, 1991 Wikidata
If, not when Wikidata
Inheritance, defaults and the lexicon Sudoc [ABES], France National Library of Israel National Library of France Library of Congress/NACO NUKAT Center of Warsaw University Library BIBSYS
Intuitionistic Description Logic and Legal Reasoning Wikidata
Intuitionistic Modal Logic and Applications (IMLA 2008) Wikidata
A Linear Specification Language for Petri Nets Wikidata
A linked open data architecture for the historical archives of the Getulio Vargas Foundation Wikidata
Logic, Language, Information, and Computation : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings Sudoc [ABES], France Wikidata
Making ontologies work for resolving redundancies across documents Wikidata
Making Virtue of Necessity: A Verb Lexicon Wikidata
Multiple Conclusion Linear Logic: Cut Elimination and More Wikidata
Natural Deduction and Context as (Constructive) Modality Wikidata
Natural Number Objects in Dialectica Categories Wikidata
Poset-valued sets or how to build models for linear logics Wikidata
Preface Wikidata
Relating Categorical Semantics for Intuitionistic Linear Logic Wikidata
Sense-Specific Implicative Commitments Wikidata
Transformacoes de Hurwitz-Radon National Library of Brazil
Types and Constraints in the LKB Wikidata

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (6)

Open Section Close Section History of VIAF ID:14862612 (12)