( en | de | ru )

 

Disambiguation of "de Paiva, Valeria"

Author of the publication

copydeleteadd this publication to your clipboard
Extracting Mathematical Concepts from Text.

, , , and . CoRR, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Vanessa Nunes de Paiva

Valeria De Marco

Márcio Antônio de Paiva

César Paiva

Rodrigo Paiva

 

Other publications of authors with the same name

Dialectical categories, cardinalities of the continuum and combinatorics of ideals., and . Logic Journal of the IGPL, 25 (4): 585-603 (2017)Fuzzy Topological Systems, and . CoRR, (2011)Fibrational Modal Type Theory., and . LSFA, volume 323 of Electronic Notes in Theoretical Computer Science, page 143-161. Elsevier, (2015)Constructive Temporal Logic, Categorically., and . FLAP, (2017)Preface to Intiutionistic Modal Logic 2017., and . FLAP, 8 (8): 2261-2264 (2021)Categorical and Kripke Semantics for Constructive S4 Modal Logic., , , and . CSL, volume 2142 of Lecture Notes in Computer Science, page 292-307. Springer, (2001)On the Lambek Calculus with an Exchange Modality., , and . Linearity-TLLA@FLoC, volume 292 of EPTCS, page 43-89. (2018)A Dialectica-like Model of Linear Logic.. Category Theory and Computer Science, volume 389 of Lecture Notes in Computer Science, page 341-356. Springer, (1989)Multiple conclusion linear logic: cut elimination and more., and . J. Log. Comput., 30 (1): 157-174 (2020)Intuitionistic Modal Logic: A 15-year retrospective., , and . J. Log. Comput., 28 (5): 873-882 (2018)