( en | de | ru )

 

Disambiguation of "de Paiva, Valeria"

Author of the publication

copydeleteadd this publication to your clipboard
A Term Calculus for Intuitionistic Linear Logic.

, , , and . TLCA, volume 664 of Lecture Notes in Computer Science, page 75-90. Springer, (1993)

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

Intuitionistic Logic and Legal Ontologies., , and . JURIX, volume 223 of Frontiers in Artificial Intelligence and Applications, page 155-158. IOS Press, (2010)A Term Calculus for Intuitionistic Linear Logic., , , and . TLCA, volume 664 of Lecture Notes in Computer Science, page 75-90. Springer, (1993)Natural Deduction and Context as (Constructive) Modality.. CONTEXT, volume 2680 of Lecture Notes in Computer Science, page 116-129. Springer, (2003)22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015)., , , and . Logic Journal of the IGPL, 24 (5): 859 (2016)Relating Legal Entities via Open Information Extraction., , , and . MTSR, volume 846 of Communications in Computer and Information Science, page 181-187. Springer, (2018)On Explicit Substitution and Names (Extended Abstract)., and . ICALP, volume 1256 of Lecture Notes in Computer Science, page 248-258. Springer, (1997)Sense-Specific Implicative Commitments., and . CICLing (1), volume 8403 of Lecture Notes in Computer Science, page 391-402. Springer, (2014)Dialectica Fuzzy Petri Nets., and . CoRR, (2020)Dialectica Categories for the Lambek Calculus., and . CoRR, (2018)MathGloss: Building mathematical glossaries from text., and . CoRR, (2023)