default search action

combined dblp search
author search
venue search
publication search

ask others

Valeria de Paiva

> Home > Persons

Person information

affiliation: Topos Institute, Berkeley, CA, USA
affiliation: Nuance Communications, Sunnyvale, CA, USA

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c62]
- view
  - electronic edition @ aclanthology.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/coling/CollardPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coling/CollardPS24
Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian:
Mathematical Entities: Corpora and Benchmarks. LREC/COLING 2024: 11080-11089
[i13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-19856
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-19856
Valeria de Paiva, Alexandre Rademaker:
Towards a Brazilian History Knowledge Graph. CoRR abs/2403.19856 (2024)
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-11577
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-11577
Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian:
Mathematical Entities: Corpora and Benchmarks. CoRR abs/2406.11577 (2024)
2023
[j30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/coling/KalouliHWMP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/coling/KalouliHWMP23
Aikaterini-Lida Kalouli, Hai Hu, Alexander F. Webb, Lawrence S. Moss, Valeria de Paiva:
Curing the SICK and Other NLI Maladies. Comput. Linguistics 49(1): 199-243 (2023)
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/TrottaSP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/TrottaSP23
Davide Trotta, Matteo Spadetto, Valeria de Paiva:
Dialectica principles via Gödel doctrines. Theor. Comput. Sci. 947: 113692 (2023)
[e8]
- view
- export record
  dblp key:
  - conf/calco/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/2023
Paolo Baldan, Valeria de Paiva:
10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA. LIPIcs 270, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-287-7 [contents]
[i11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-10408
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-10408
Rodrigo Veiga, Markus Endler, Valeria de Paiva:
Extracting Blockchain Concepts from Text. CoRR abs/2305.10408 (2023)
[i10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-06699
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-06699
Jacob Collard, Valeria de Paiva, Eswaran Subrahmanian:
Parmesan: mathematical concept extraction for education. CoRR abs/2307.06699 (2023)
[i9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-00642
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-00642
Valeria de Paiva, Qiyue Gao, Pavel Kovalev, Lawrence S. Moss:
Extracting Mathematical Concepts with Large Language Models. CoRR abs/2309.00642 (2023)
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-12649
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-12649
Lucy Horowitz, Valeria de Paiva:
MathGloss: Building mathematical glossaries from text. CoRR abs/2311.12649 (2023)
2022
[j28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/logcom/TrottaSP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/TrottaSP22
Davide Trotta, Matteo Spadetto, Valeria de Paiva:
Dialectica logical principles: not only rules. J. Log. Comput. 32(8): 1855-1875 (2022)
[c61]
- view
  - electronic edition @ aclanthology.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/coling/CollardPFS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coling/CollardPFS22
Jacob Collard, Valeria de Paiva, Brendan Fong, Eswaran Subrahmanian:
Extracting Mathematical Concepts from Text. W-NUT@COLING 2022: 15-23
[c60]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/dhandnlp-ws/PaivaRK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dhandnlp-ws/PaivaRK22
Valeria de Paiva, Livy Real, Aikaterini-Lida Kalouli:
Of Seringueiros and Sambistas: Occupation Mappings in Historical Text. DHandNLP@PROPOR 2022: 32-40
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/TrottaSP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/TrottaSP22
Davide Trotta, Matteo Spadetto, Valeria de Paiva:
Dialectica Logical Principles. LFCS 2022: 346-363
[e7]
- view
- export record
  dblp key:
  - conf/dhandnlp-ws/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dhandnlp-ws/2022
Cássia Trojahn, Maria José Finatto, Valeria de Paiva, Renata Vieira:
Proceedings of the Second Workshop on Digital Humanities and Natural Language Processing (2nd DHandNLP 2022) co-located with International Conference on the Computational Processing of Portuguese (PROPOR 2022), Virtual Event, Fortaleza, Brazil, 21st March, 2022. CEUR Workshop Proceedings 3128, CEUR-WS.org 2022 [contents]
[i7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-13830
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-13830
Jacob Collard, Valeria de Paiva, Brendan Fong, Eswaran Subrahmanian:
Extracting Mathematical Concepts from Text. CoRR abs/2208.13830 (2022)
2021
[j27]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/flap/PaivaA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/PaivaA21
Valeria de Paiva, Sergei Artemov:
Preface to Intiutionistic Modal Logic 2017. FLAP 8(8): 2261-2264 (2021)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/synthese/PimentelPP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/synthese/PimentelPP21
Elaine Pimentel, Luiz Carlos Pereira, Valeria de Paiva:
An ecumenical notion of entailment. Synth. 198(22-S): 5391-5413 (2021)
[c58]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/calco/Paiva21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/Paiva21
Valeria de Paiva:
Dialectica Comonads (Invited Talk). CALCO 2021: 3:1-3:13
[c57]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/mfcs/TrottaSP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/TrottaSP21
Davide Trotta, Matteo Spadetto, Valeria de Paiva:
The Gödel Fibration. MFCS 2021: 87:1-87:16
[e6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14305
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14305
Ugo Dal Lago, Valeria de Paiva:
Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020. EPTCS 353, 2021 [contents]
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-12801
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-12801
Elena Di Lavore, Wilmer Leal, Valeria de Paiva:
Dialectica Petri nets. CoRR abs/2105.12801 (2021)
2020
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/EadesP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/EadesP20
Harley Eades III, Valeria de Paiva:
Multiple conclusion linear logic: cut elimination and more. J. Log. Comput. 30(1): 157-174 (2020)
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/coling/KalouliSPCE20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coling/KalouliSPCE20
Aikaterini-Lida Kalouli, Rita Sevastjanova, Valeria de Paiva, Richard S. Crouch, Mennatallah El-Assady:
XplaiNLI: Explainable Natural Language Inference through Visual Analytics. COLING (Demonstrations) 2020: 48-52
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/coling/KalouliCP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coling/KalouliCP20
Aikaterini-Lida Kalouli, Richard S. Crouch, Valeria de Paiva:
Hy-NLI: a Hybrid system for Natural Language Inference. COLING 2020: 5235-5249
[c54]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-10241
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-10241
Paul Tarau, Valeria de Paiva:
Deriving Theorems in Implicational Linear Logic, Declaratively. ICLP Technical Communications 2020: 110-123
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-04712
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-04712
Valeria de Paiva, Apostolos Syropoulos:
Dialectica Fuzzy Petri Nets. CoRR abs/2003.04712 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/PaivaQ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/PaivaQ19
Valeria de Paiva, Ruy J. G. B. de Queiroz:
Preface. Math. Struct. Comput. Sci. 29(6): 731-732 (2019)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/RozmanPFM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/RozmanPFM19
Mihaela Rozman, Valeria de Paiva, Amy P. Felty, Ursula Martin:
Women in Logic 2018 workshop report. ACM SIGLOG News 6(1): 41-42 (2019)
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/acllaw/KalouliBRPP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acllaw/KalouliBRPP19
Aikaterini-Lida Kalouli, Annebeth Buis, Livy Real, Martha Palmer, Valeria de Paiva:
Explaining Simple Natural Language Inference. LAW@ACL 2019: 132-143
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/rep4nlp/KalouliPC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rep4nlp/KalouliPC19
Aikaterini-Lida Kalouli, Valeria de Paiva, Richard S. Crouch:
Composing Noun Phrase Vector Representations. RepL4NLP@ACL 2019: 84-95
[c51]
- view
  - electronic edition @ aclanthology.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wordnet/PaivaR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wordnet/PaivaR19
Valeria de Paiva, Alexandre Rademaker:
Portuguese Manners of Speaking. GWC 2019: 373-377
[e5]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-06159
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-06159
Thomas Ehrhard, Maribel Fernández, Valeria de Paiva, Lorenzo Tortora de Falco:
Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018. EPTCS 292, 2019 [contents]
2018
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/StewartPA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/StewartPA18
Charles A. Stewart, Valeria de Paiva, Natasha Alechina:
Intuitionistic Modal Logic: A 15-year retrospective. J. Log. Comput. 28(5): 873-882 (2018)
[c50]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/jurix/CidRCP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/CidRCP18
Alessandra Cid, Alexandre Rademaker, Bruno Cuconato, Valeria de Paiva:
Linguistic Legal Concept Extraction in Portuguese. JURIX 2018: 181-185
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/PaivaE18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/PaivaE18
Valeria de Paiva, Harley Eades III:
Dialectica Categories for the Lambek Calculus. LFCS 2018: 256-272
[c48]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/mtsr/SiragusaNPC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mtsr/SiragusaNPC18
Giovanni Siragusa, Rohan Nanda, Valeria de Paiva, Luigi Di Caro:
Relating Legal Entities via Open Information Extraction. MTSR 2018: 181-187
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/propor/RealRSATGSLCSSP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/propor/RealRSATGSLCSSP18
Livy Real, Ana Rodrigues, 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:
SICK-BR: A Portuguese Corpus for Inference. PROPOR 2018: 303-312
[c46]
- view
  - electronic edition @ aclanthology.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wordnet/MunizCRP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wordnet/MunizCRP18
Henrique Muniz, Fabricio Chalub, Alexandre Rademaker, Valeria de Paiva:
Extending Wordnet to Geological Times. GWC 2018: 145-152
[c45]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-06847
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-06847
Jiaming Jiang, Harley Eades III, Valeria de Paiva:
On the Lambek Calculus with an Exchange Modality. Linearity-TLLA@FLoC 2018: 43-89
[c44]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-06850
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-06850
Carlos Olarte, Valeria de Paiva, Elaine Pimentel, Giselle Reis:
The ILLTP Library for Intuitionistic Linear Logic. Linearity-TLLA@FLoC 2018: 118-132
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1801-06883
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1801-06883
Valeria de Paiva, Harley Eades III:
Dialectica Categories for the Lambek Calculus. CoRR abs/1801.06883 (2018)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1810-09379
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-09379
Alessandra Cid, Alexandre Rademaker, Bruno Cuconato, Valeria de Paiva:
Linguistic Legal Concept Extraction in Portuguese. CoRR abs/1810.09379 (2018)
2017
[j21]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/flap/PaivaE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/PaivaE17
Valeria de Paiva, Harley Eades III:
Constructive Temporal Logic, Categorically. FLAP 4(4) (2017)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/SilvaP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/SilvaP17
Samuel G. Da Silva, Valeria de Paiva:
Dialectical categories, cardinalities of the continuum and combinatorics of ideals. Log. J. IGPL 25(4): 585-603 (2017)
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/conll/ZemanPSHNGLPPPT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/conll/ZemanPSHNGLPPPT17
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, Memduh Gokirmak, Anna Nedoluzhko, Silvie Cinková, Jan Hajic Jr., Jaroslava Hlavácová, Václava Kettnerová, Zdenka Uresová, Jenna Kanerva, Stina Ojala, Anna Missilä, Christopher D. Manning, Sebastian Schuster, Siva Reddy, Dima Taji, Nizar Habash, Herman Leung, Marie-Catherine de Marneffe, Manuela Sanguinetti, Maria Simi, Hiroshi Kanayama, Valeria de Paiva, Kira Droganova, Héctor Martínez Alonso, Çagri Çöltekin, Umut Sulubacak, Hans Uszkoreit, Vivien Macketanz, Aljoscha Burchardt, Kim Harris, Katrin Marheinecke, Georg Rehm, Tolga Kayadelen, Mohammed Attia, Ali El-Kahky, Zhuoran Yu, Emily Pitler, Saran Lertpradit, Michael Mandl, Jesse Kirchner, Hector Fernandez Alcalde, Jana Strnadová, Esha Banerjee, Ruli Manurung, Antonio Stella, Atsuko Shimada, Sookyoung Kwak, Gustavo Mendonça, Tatiana Lando, Rattima Nitisaroj, Josie Li:
CoNLL 2017 Shared Task: Multilingual Parsing from Raw Text to Universal Dependencies. CoNLL Shared Task (2) 2017: 1-19
[c42]
- view
  - electronic edition @ aclanthology.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/depling/RademakerCRFBP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/depling/RademakerCRFBP17
Alexandre Rademaker, Fabricio Chalub, Livy Real, Cláudia Freitas, Eckhard Bick, Valeria de Paiva:
Universal Dependencies for Portuguese. DepLing 2017: 197-206
[c41]
- view
  - electronic edition @ aclanthology.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/iwcs/KalouliRP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwcs/KalouliRP17
Aikaterini-Lida Kalouli, Livy Real, Valeria de Paiva:
Textual Inference: getting logic from humans. IWCS(2) 2017
2016
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/PaivaMLQ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/PaivaMLQ16
Valeria de Paiva, Lawrence S. Moss, Daniel Leivant, Ruy J. G. B. de Queiroz:
22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015). Log. J. IGPL 24(5): 859 (2016)
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/EadesP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/EadesP16
Harley Eades III, Valeria de Paiva:
Multiple Conclusion Linear Logic: Cut Elimination and More. LFCS 2016: 90-105
[c39]
- view
  - electronic edition @ lrec-conf.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lrec/ChalubRRP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lrec/ChalubRRP16
Fabricio Chalub, Livy Real, Alexandre Rademaker, Valeria de Paiva:
Semantic Links for Portuguese. LREC 2016
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/propor/PaivaCRR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/propor/PaivaCRR16
Valeria de Paiva, Fabricio Chalub, Livy Real, Alexandre Rademaker:
Making Virtue of Necessity: A Verb Lexicon. PROPOR 2016: 271-282
[c37]
- view
  - electronic edition @ aclanthology.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wordnet/PaivaRORFS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wordnet/PaivaRORFS16
Valeria de Paiva, Livy Real, Hugo Gonçalo Oliveira, Alexandre Rademaker, Cláudia Freitas, Alberto Simões:
An overview of Portuguese WordNets. GWC 2016: 74-82
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/NealePOR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/NealePOR16
Steven Neale, Valeria de Paiva, Arantxa Otegi, Alexandre Rademaker:
Proceedings of the LexSem+Logics Workshop 2016. CoRR abs/1608.04767 (2016)
2015
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/jodl/RademakerOPHSA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jodl/RademakerOPHSA15
Alexandre Rademaker, Dário Augusto Borges Oliveira, Valeria de Paiva, Suemi Higuchi, Asla Medeiros e Sá, Moacyr Alvim:
A linked open data architecture for the historical archives of the Getulio Vargas Foundation. Int. J. Digit. Libr. 15(2-4): 153-167 (2015)
[c36]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ZadroznyPM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ZadroznyPM15
Wlodek Zadrozny, Valeria de Paiva, Lawrence S. Moss:
Explaining Watson: Polymath Style. AAAI 2015: 4078-4082
[c35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/acl-ldl/RealCPFR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acl-ldl/RealCPFR15
Livy Real, Fabricio Chalub, Valeria de Paiva, Cláudia Freitas, Alexandre Rademaker:
Seeing is Correcting: curating lexical resources using social interfaces. LDL@IJCNLP 2015: 20-29
[c34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PaivaR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PaivaR16
Valeria de Paiva, Eike Ritter:
Fibrational Modal Type Theory. LSFA 2015: 143-161
[e4]
- view
- export record
  dblp key:
  - conf/icalp/2015nlcs
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/2015nlcs
Makoto Kanazawa, Lawrence S. Moss, Valeria de Paiva:
Third Workshop on Natural Language and Computer Science, NLCS@ICALP/LICS 2015, Kyoto, Japan, 2015. EPiC Series in Computing 32, EasyChair 2015 [contents]
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/2015
Valeria de Paiva, Ruy J. G. B. de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina Grisi de Oliveira:
Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings. Lecture Notes in Computer Science 9160, Springer 2015, ISBN 978-3-662-47708-3 [contents]
2014
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Quispe-CruzOQP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Quispe-CruzOQP14
Marcela Quispe-Cruz, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz, Valeria de Paiva:
Intuitionistic N-Graphs. Log. J. IGPL 22(2): 274-285 (2014)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/Paiva14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/Paiva14
Valeria de Paiva:
Linear logic model of state revisited. Log. J. IGPL 22(5): 791-804 (2014)
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/cicling/MeloP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cicling/MeloP14
Gerard de Melo, Valeria de Paiva:
Sense-Specific Implicative Commitments. CICLing (1) 2014: 391-402
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/eScience/PaivaOHRM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eScience/PaivaOHRM14
Valeria de Paiva, Dário Augusto Borges Oliveira, Suemi Higuchi, Alexandre Rademaker, Gerard de Melo:
Exploratory Information Extraction from a Historical Dictionary. eScience Workshops 2014: 11-18
[c31]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/fois/PaivaJMPWY14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fois/PaivaJMPWY14
Valeria de Paiva, William Jarrold, David L. Martin, Peter F. Patel-Schneider, Karen Wallace, Peter Z. Yeh:
Ontologies in Enterprise Application: Dimensional Comparison. FOMI@FOIS 2014
[c30]
- view
  - electronic edition @ lrec-conf.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lrec/PaivaRRM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lrec/PaivaRRM14
Valeria de Paiva, Livy Real, Alexandre Rademaker, Gerard de Melo:
NomLex-PT: A Lexicon of Portuguese Nominalizations. LREC 2014: 2851-2858
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/propor/FreitasPRMRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/propor/FreitasPRMRS14
Cláudia Freitas, Valeria de Paiva, Alexandre Rademaker, Gerard de Melo, Livy Real, Anne Silva:
Extending a Lexicon of Portuguese Nominalizations with Data from Corpora. PROPOR 2014: 114-124
[c28]
- view
  - electronic edition @ aclanthology.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wordnet/RademakerPMR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wordnet/RademakerPMR14
Alexandre Rademaker, Valeria de Paiva, Gerard de Melo, Livy-Maria Real-Coelho:
Embedding NomLex-BR nominalizations into OpenWordnet-PT. GWC 2014: 378-382
[c27]
- view
  - electronic edition @ aclanthology.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/wordnet/RademakerPMRG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wordnet/RademakerPMRG14
Alexandre Rademaker, Valeria de Paiva, Gerard de Melo, Livy Real, Maira Gatti:
OpenWordNet-PT: A Project Report. GWC 2014: 383-390
[e2]
- view
- export record
  dblp key:
  - conf/imla/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/imla/2013
Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel:
Proceedings of the 6th Workshop on Intuitionistic Modal Logic and Applications, IMLA 2013, in association with UNILOG 2013, Rio de Janeiro, Brazil, April 7, 2013. Electronic Notes in Theoretical Computer Science 300, Elsevier 2014 [contents]
2013
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/lu/PaivaR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lu/PaivaR13
Valeria de Paiva, Andrei Rodin:
Elements of Categorical Logic: Fifty Years Later. Logica Universalis 7(3): 265-273 (2013)
[c26]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PaivaBNP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PaivaBNP14
Valeria de Paiva, Mario R. F. Benevides, Vivek Nigam, Elaine Pimentel:
Preface. IMLA@UNILOG 2013: 1-2
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CrouchP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CrouchP14
Dick Crouch, Valeria de Paiva:
If, not when. IMLA@UNILOG 2013: 3-20
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PaivaMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PaivaMS14
Valeria de Paiva, Charles Morgan, Samuel G. Da Silva:
Natural Number Objects in Dialectica Categories. LSFA 2013: 53-65
2012
[c23]
- view
  - electronic edition @ aclanthology.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/coling/PaivaRM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coling/PaivaRM12
Valeria de Paiva, Alexandre Rademaker, Gerard de Melo:
OpenWordNet-PT: An Open Brazilian Wordnet for Reasoning. COLING (Demos) 2012: 353-360
2011
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/PaivaP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/PaivaP11
Valeria de Paiva, Brigitte Pientka:
Intuitionistic Modal Logic and Applications (IMLA 2008). Inf. Comput. 209(12): 1435-1436 (2011)
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/dexaw/HaeuslerPR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dexaw/HaeuslerPR11
Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker:
Intuitionistic Description Logic and Legal Reasoning. DEXA Workshops 2011: 345-349
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1107-2513
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-2513
Apostolos Syropoulos, Valeria de Paiva:
Fuzzy Topological Systems. CoRR abs/1107.2513 (2011)
2010
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/HaeuslerPR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/HaeuslerPR10
Edward Hermann Haeusler, Valeria de Paiva, Alexandre Rademaker:
Intuitionistic Logic and Legal Ontologies. JURIX 2010: 155-158
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PaivaHR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PaivaHR11
Valeria de Paiva, Edward Hermann Haeusler, Alexandre Rademaker:
Constructive Description Logics Hybrid-Style. HyLo@LICS 2010: 21-31
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Paiva11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Paiva11
Valeria de Paiva:
Bridges from Language to Logic: Concepts, Contexts and Ontologies. LSFA 2010: 83-94

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/MintsPQ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/MintsPQ09
Grigori Mints, Valeria de Paiva, Ruy J. G. B. de Queiroz:
Logic, Language, Information and Computation. Inf. Comput. 207(10): 969-970 (2009)
2008
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/GurevichCKP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/GurevichCKP08
Olga Gurevich, Richard S. Crouch, Tracy Holloway King, Valeria de Paiva:
Deverbal Nouns in Knowledge Representation. J. Log. Comput. 18(3): 385-404 (2008)
2007
[j11]
- view
  - electronic edition @ ijsi.org
  - no references & citations available
- export record
  dblp key:
  - journals/ijsi/GoguenMPRS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsi/GoguenMPRS07
Joseph A. Goguen, Till Mossakowski, Valeria de Paiva, Florian Rabe, Lutz Schröder:
An Institutional View on Categorical Logic. Int. J. Softw. Informatics 1(1): 129-152 (2007)
[c18]
- view
  - electronic edition @ aclanthology.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/acl/BobrowCKCKNPZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acl/BobrowCKCKNPZ07
Daniel G. Bobrow, Dick Crouch, Tracy Holloway King, Cleo Condoravdi, Lauri Karttunen, Rowan Nairn, Valeria de Paiva, Annie Zaenen:
Precision-focused Textual Inference. ACL-PASCAL@ACL 2007: 16-21
[c17]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/context/PaivaBCCKKNZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/context/PaivaBCCKKNZ07
Valeria de Paiva, Daniel G. Bobrow, Cleo Condoravdi, Dick Crouch, Tracy Holloway King, Lauri Karttunen, Rowan Nairn, Annie Zaenen:
Textual Inference Logic: Take Two. C&O:RR 2007
[e1]
- view
- export record
  dblp key:
  - conf/hylo/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hylo/2006
Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen:
Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC 2006, Seattle, WA, USA, August 11, 2006. Electronic Notes in Theoretical Computer Science 174(6), Elsevier 2007 [contents]
2006
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/japll/BraunerP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/BraunerP06
Torben Braüner, Valeria de Paiva:
Intuitionistic hybrid logic. J. Appl. Log. 4(3): 231-255 (2006)
[c16]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/flairs/GurevichCKP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/GurevichCKP06
Olga Gurevich, Richard S. Crouch, Tracy Holloway King, Valeria de Paiva:
Deverbal Nouns in Knowledge Representation. FLAIRS 2006: 670-675
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BlackburnBBPV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BlackburnBBPV07
Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen:
Preface. HyLo@FLoC 2006: 1-2
2005
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/acs/MaiettiMPR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acs/MaiettiMPR05
Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter:
Relating Categorical Semantics for Intuitionistic Linear Logic. Appl. Categorical Struct. 13(1): 1-36 (2005)
2004
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/PaivaGM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/PaivaGM04
Valeria de Paiva, Rajeev Goré, Michael Mendler:
Editorial. J. Log. Comput. 14(4): 439-446 (2004)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/PaivaGM04a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/PaivaGM04a
Valeria de Paiva, Rajeev Goré, Michael Mendler:
Forthcoming Papers. J. Log. Comput. 14(4): 621-622 (2004)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/SchalkP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/SchalkP04
Andrea Schalk, Valeria de Paiva:
Poset-valued sets or how to build models for linear logics. Theor. Comput. Sci. 315(1): 83-107 (2004)
2003
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/context/Paiva03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/context/Paiva03
Valeria de Paiva:
Natural Deduction and Context as (Constructive) Modality. CONTEXT 2003: 116-129
[c13]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ndqa/StolleBCCP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ndqa/StolleBCCP03
Reinhard Stolle, Daniel G. Bobrow, Cleo Condoravdi, Richard S. Crouch, Valeria de Paiva:
Knowledge Tracking: Answering Implicit Questions. New Directions in Question Answering 2003: 58-61
2002
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/EverettBSCPCBP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/EverettBSCPCBP02
John O. Everett, Daniel G. Bobrow, Reinhard Stolle, Richard S. Crouch, Valeria de Paiva, Cleo Condoravdi, Martin van den Berg, Livia Polanyi:
Making ontologies work for resolving redundancies across documents. Commun. ACM 45(2): 55-60 (2002)
2001
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/AlechinaMPR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/AlechinaMPR01
Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter:
Categorical and Kripke Semantics for Constructive S4 Modal Logic. CSL 2001: 292-307
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/fois/CondoravdiCEPSBB01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fois/CondoravdiCEPSBB01
Cleo Condoravdi, Dick Crouch, John O. Everett, Valeria de Paiva, Reinhard Stolle, Daniel G. Bobrow, Martin van den Berg:
Preventing existence. FOIS 2001: 162-173
2000
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/GhaniPR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/GhaniPR00
Neil Ghani, Valeria de Paiva, Eike Ritter:
Linear Explicit Substitutions. Log. J. IGPL 8(1): 7-31 (2000)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/BiermanP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/BiermanP00
Gavin M. Bierman, Valeria de Paiva:
On an Intuitionistic Modal Logic. Stud Logica 65(3): 383-416 (2000)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/MaiettiPR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/MaiettiPR00
Maria Emilia Maietti, Valeria de Paiva, Eike Ritter:
Categorical Models for Intuitionistic and Linear Type Theory. FoSSaCS 2000: 223-237

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/fossacs/GhaniPR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/GhaniPR99
Neil Ghani, Valeria de Paiva, Eike Ritter:
Categorical Models of Explicit Substitutions. FoSSaCS 1999: 197-211
1998
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/BentonBP98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/BentonBP98
P. N. Benton, Gavin M. Bierman, Valeria de Paiva:
Computational Types from a Logical Perspective. J. Funct. Program. 8(2): 177-193 (1998)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/amast/PaivaS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/PaivaS98
Valeria de Paiva, Andrea Schalk:
Building Models of Linear Logic. AMAST 1998: 164-177
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/GhaniPR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/GhaniPR98
Neil Ghani, Valeria de Paiva, Eike Ritter:
Explicit Substitutions for Constructive Necessity. ICALP 1998: 743-754
1997
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/BraunerP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/BraunerP97
Torben Braüner, Valeria de Paiva:
A Formulation of Linear Logic Based on Dependency-Relations. CSL 1997: 129-148
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/RitterP97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/RitterP97
Eike Ritter, Valeria de Paiva:
On Explicit Substitution and Names (Extended Abstract). ICALP 1997: 248-258
1993
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/HylandP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/HylandP93
Martin Hyland, Valeria de Paiva:
Full Intuitionistic Linear Logic (extended abstract). Ann. Pure Appl. Log. 64(3): 273-291 (1993)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/NesiPR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/NesiPR93
Monica Nesi, Valeria de Paiva, Eike Ritter:
Rewriting Properties of Combinators for Rudimentary Linear Logic. HOA 1993: 256-275
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tlca/BentonBPH93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/BentonBPH93
P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland:
A Term Calculus for Intuitionistic Linear Logic. TLCA 1993: 75-90
1992
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/BentonBPH92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/BentonBPH92
P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland:
Linear Lambda-Calculus and Categorial Models Revisited. CSL 1992: 61-84

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ctcs/Paiva89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ctcs/Paiva89
Valeria de Paiva:
A Dialectica-like Model of Linear Logic. Category Theory and Computer Science 1989: 341-356

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.