@inproceedings{RitterP97,
  title = {On Explicit Substitution and Names (Extended Abstract)},
  author = {Eike Ritter and Valeria de Paiva},
  year = {1997},
  researchr = {https://researchr.org/publication/RitterP97},
  cites = {0},
  citedby = {0},
  pages = {248-258},
  booktitle = {icalp},
}

@article{PaivaGM04a,
  title = {Forthcoming Papers},
  author = {Valeria de Paiva and Rajeev Goré and Michael Mendler},
  year = {2004},
  doi = {10.1093/logcom/14.4.621},
  url = {http://dx.doi.org/10.1093/logcom/14.4.621},
  researchr = {https://researchr.org/publication/PaivaGM04a},
  cites = {0},
  citedby = {0},
  journal = {logcom},
  volume = {14},
  number = {4},
  pages = {621-622},
}

@inproceedings{BentonBPH92,
  title = {Linear Lambda-Calculus and Categorial Models Revisited},
  author = {P. N. Benton and Gavin M. Bierman and Valeria de Paiva and Martin Hyland},
  year = {1992},
  researchr = {https://researchr.org/publication/BentonBPH92},
  cites = {0},
  citedby = {0},
  pages = {61-84},
  booktitle = {csl},
}

@article{PaivaGM04,
  title = {Editorial},
  author = {Valeria de Paiva and Rajeev Goré and Michael Mendler},
  year = {2004},
  doi = {10.1093/logcom/14.4.439},
  url = {http://dx.doi.org/10.1093/logcom/14.4.439},
  researchr = {https://researchr.org/publication/PaivaGM04},
  cites = {0},
  citedby = {0},
  journal = {logcom},
  volume = {14},
  number = {4},
  pages = {439-446},
}

@article{PaivaHR11,
  title = {Constructive Description Logics Hybrid-Style},
  author = {Valeria de Paiva and Edward Hermann Haeusler and Alexandre Rademaker},
  year = {2011},
  doi = {10.1016/j.entcs.2011.06.010},
  url = {http://dx.doi.org/10.1016/j.entcs.2011.06.010},
  tags = {logic},
  researchr = {https://researchr.org/publication/PaivaHR11},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {273},
  pages = {21-31},
}

@inproceedings{StolleBCCP03,
  title = {Knowledge Tracking: Answering Implicit Questions},
  author = {Reinhard Stolle and Daniel G. Bobrow and Cleo Condoravdi and Richard Crouch and Valeria de Paiva},
  year = {2003},
  researchr = {https://researchr.org/publication/StolleBCCP03},
  cites = {0},
  citedby = {0},
  pages = {58-61},
  booktitle = {ndqa},
}

@article{MaiettiMPR05,
  title = {Relating Categorical Semantics for Intuitionistic Linear Logic},
  author = {Maria Emilia Maietti and Paola Maneggia and Valeria de Paiva and Eike Ritter},
  year = {2005},
  doi = {10.1007/s10485-004-3134-z},
  url = {http://dx.doi.org/10.1007/s10485-004-3134-z},
  tags = {semantics, logic},
  researchr = {https://researchr.org/publication/MaiettiMPR05},
  cites = {0},
  citedby = {0},
  journal = {acs},
  volume = {13},
  number = {1},
  pages = {1-36},
}

@inproceedings{GhaniPR98,
  title = {Explicit Substitutions for Constructive Necessity},
  author = {Neil Ghani and Valeria de Paiva and Eike Ritter},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1443/14430743.htm},
  researchr = {https://researchr.org/publication/GhaniPR98},
  cites = {0},
  citedby = {0},
  pages = {743-754},
  booktitle = {icalp},
}

@article{HylandP93,
  title = {Full Intuitionistic Linear Logic (extended abstract)},
  author = {Martin Hyland and Valeria de Paiva},
  year = {1993},
  tags = {logic},
  researchr = {https://researchr.org/publication/HylandP93},
  cites = {0},
  citedby = {0},
  journal = {APAL},
  volume = {64},
  number = {3},
  pages = {273-291},
}

@inproceedings{GurevichCKP06,
  title = {Deverbal Nouns in Knowledge Representation},
  author = {Olga Gurevich and Richard Crouch and Tracy H. King and Valeria de Paiva},
  year = {2006},
  researchr = {https://researchr.org/publication/GurevichCKP06},
  cites = {0},
  citedby = {0},
  pages = {670-675},
  booktitle = {flairs},
}

@inproceedings{NesiPR93,
  title = {Rewriting Properties of Combinators for Rudimentary Linear Logic},
  author = {Monica Nesi and Valeria de Paiva and Eike Ritter},
  year = {1993},
  tags = {graph-rewriting, logic, rewriting logic, rewriting},
  researchr = {https://researchr.org/publication/NesiPR93},
  cites = {0},
  citedby = {0},
  pages = {256-275},
  booktitle = {hoa},
}

@inproceedings{BentonBPH93,
  title = {A Term Calculus for Intuitionistic Linear Logic},
  author = {P. N. Benton and Gavin M. Bierman and Valeria de Paiva and Martin Hyland},
  year = {1993},
  tags = {logic},
  researchr = {https://researchr.org/publication/BentonBPH93},
  cites = {0},
  citedby = {0},
  pages = {75-90},
  booktitle = {tlca},
}

@article{GurevichCKP08,
  title = {Deverbal Nouns in Knowledge Representation},
  author = {Olga Gurevich and Richard Crouch and Tracy H. King and Valeria de Paiva},
  year = {2008},
  doi = {10.1093/logcom/exm070},
  url = {http://dx.doi.org/10.1093/logcom/exm070},
  researchr = {https://researchr.org/publication/GurevichCKP08},
  cites = {0},
  citedby = {0},
  journal = {logcom},
  volume = {18},
  number = {3},
  pages = {385-404},
}

@inproceedings{CondoravdiCEPSBB01,
  title = {Preventing existence},
  author = {Cleo Condoravdi and Richard Crouch and John O. Everett and Valeria de Paiva and Reinhard Stolle and Daniel G. Bobrow and Martin van den Berg},
  year = {2001},
  doi = {10.1145/505168.505184},
  url = {http://doi.acm.org/10.1145/505168.505184},
  researchr = {https://researchr.org/publication/CondoravdiCEPSBB01},
  cites = {0},
  citedby = {0},
  pages = {162-173},
  booktitle = {fois},
}

@article{Paiva11,
  title = {Bridges from Language to Logic: Concepts, Contexts and Ontologies},
  author = {Valeria de Paiva},
  year = {2011},
  doi = {10.1016/j.entcs.2011.03.007},
  url = {http://dx.doi.org/10.1016/j.entcs.2011.03.007},
  tags = {ontologies, ontology, context-aware, logic},
  researchr = {https://researchr.org/publication/Paiva11},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {269},
  pages = {83-94},
}

@inproceedings{GhaniPR99,
  title = {Categorical Models of Explicit Substitutions},
  author = {Neil Ghani and Valeria de Paiva and Eike Ritter},
  year = {1999},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/GhaniPR99},
  cites = {0},
  citedby = {0},
  pages = {197-211},
  booktitle = {fossacs},
}

@inproceedings{Paiva89,
  title = {A Dialectica-like Model of Linear Logic},
  author = {Valeria de Paiva},
  year = {1989},
  tags = {meta-model, logic, Meta-Environment},
  researchr = {https://researchr.org/publication/Paiva89},
  cites = {0},
  citedby = {0},
  pages = {341-356},
  booktitle = {ctcs},
}

@inproceedings{MaiettiPR00,
  title = {Categorical Models for Intuitionistic and Linear Type Theory},
  author = {Maria Emilia Maietti and Valeria de Paiva and Eike Ritter},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1784/17840223.htm},
  tags = {type theory},
  researchr = {https://researchr.org/publication/MaiettiPR00},
  cites = {0},
  citedby = {0},
  pages = {223-237},
  booktitle = {fossacs},
}

@inproceedings{PaivaS98,
  title = {Building Models of Linear Logic},
  author = {Valeria de Paiva and Andrea Schalk},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1548/15480164.htm},
  tags = {meta-model, logic, Meta-Environment},
  researchr = {https://researchr.org/publication/PaivaS98},
  cites = {0},
  citedby = {0},
  pages = {164-177},
  booktitle = {amast},
}

@article{BlackburnBBPV07,
  title = {Preface},
  author = {Patrick Blackburn and Thomas Bolander and Torben Braüner and Valeria de Paiva and Jørgen Villadsen},
  year = {2007},
  doi = {10.1016/j.entcs.2006.11.021},
  url = {http://dx.doi.org/10.1016/j.entcs.2006.11.021},
  researchr = {https://researchr.org/publication/BlackburnBBPV07},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {174},
  number = {6},
  pages = {1-2},
}

@inproceedings{BraunerP97,
  title = {A Formulation of Linear Logic Based on Dependency-Relations},
  author = {Torben Braüner and Valeria de Paiva},
  year = {1997},
  tags = {rule-based, logic},
  researchr = {https://researchr.org/publication/BraunerP97},
  cites = {0},
  citedby = {0},
  pages = {129-148},
  booktitle = {csl},
}

@inproceedings{PaivaBCCKKNZ07,
  title = {Textual Inference Logic: Take Two},
  author = {Valeria de Paiva and Daniel G. Bobrow and Cleo Condoravdi and Richard Crouch and Tracy H. King and Lauri Karttunen and Rowan Nairn and Annie Zaenen},
  year = {2007},
  url = {http://ceur-ws.org/Vol-298/paper3.pdf},
  tags = {logic},
  researchr = {https://researchr.org/publication/PaivaBCCKKNZ07},
  cites = {0},
  citedby = {0},
  booktitle = {context},
}

@article{GhaniPR00,
  title = {Linear Explicit Substitutions},
  author = {Neil Ghani and Valeria de Paiva and Eike Ritter},
  year = {2000},
  url = {http://www3.oup.co.uk/igpl/Volume_08/Issue_01/#Ghani},
  researchr = {https://researchr.org/publication/GhaniPR00},
  cites = {0},
  citedby = {0},
  journal = {igpl},
  volume = {8},
  number = {1},
  pages = {7-31},
}

@article{BraunerP06,
  title = {Intuitionistic hybrid logic},
  author = {Torben Braüner and Valeria de Paiva},
  year = {2006},
  doi = {10.1016/j.jal.2005.06.009},
  url = {http://dx.doi.org/10.1016/j.jal.2005.06.009},
  tags = {logic},
  researchr = {https://researchr.org/publication/BraunerP06},
  cites = {0},
  citedby = {0},
  journal = {japll},
  volume = {4},
  number = {3},
  pages = {231-255},
}

@article{MintsPQ09,
  title = {Logic, Language, Information and Computation},
  author = {Grigori Mints and Valeria de Paiva and Ruy J. G. B. de Queiroz},
  year = {2009},
  doi = {10.1016/j.ic.2009.03.006},
  url = {http://dx.doi.org/10.1016/j.ic.2009.03.006},
  tags = {logic},
  researchr = {https://researchr.org/publication/MintsPQ09},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {207},
  number = {10},
  pages = {969-970},
}

@inproceedings{HaeuslerPR10,
  title = {Intuitionistic Logic and Legal Ontologies},
  author = {Edward Hermann Haeusler and Valeria de Paiva and Alexandre Rademaker},
  year = {2010},
  doi = {10.3233/978-1-60750-681-2-155},
  url = {http://dx.doi.org/10.3233/978-1-60750-681-2-155},
  tags = {ontologies, ontology, logic},
  researchr = {https://researchr.org/publication/HaeuslerPR10},
  cites = {0},
  citedby = {0},
  pages = {155-158},
  booktitle = {jurix},
}

@article{SchalkP04,
  title = {Poset-valued sets or how to build models for linear logics},
  author = {Andrea Schalk and Valeria de Paiva},
  year = {2004},
  doi = {10.1016/j.tcs.2003.11.014},
  url = {http://dx.doi.org/10.1016/j.tcs.2003.11.014},
  tags = {logic},
  researchr = {https://researchr.org/publication/SchalkP04},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {315},
  number = {1},
  pages = {83-107},
}

@article{BentonBP98,
  title = {Computational Types from a Logical Perspective},
  author = {P. N. Benton and Gavin M. Bierman and Valeria de Paiva},
  year = {1998},
  researchr = {https://researchr.org/publication/BentonBP98},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {8},
  number = {2},
  pages = {177-193},
}

@inproceedings{AlechinaMPR01,
  title = {Categorical and Kripke Semantics for Constructive S4 Modal Logic},
  author = {Natasha Alechina and Michael Mendler and Valeria de Paiva and Eike Ritter},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2142/21420292.htm},
  tags = {semantics, modal logic, logic},
  researchr = {https://researchr.org/publication/AlechinaMPR01},
  cites = {0},
  citedby = {0},
  pages = {292-307},
  booktitle = {csl},
}

@article{EverettBSCPCBP02,
  title = {Making ontologies work for resolving redundancies across documents},
  author = {John O. Everett and Daniel G. Bobrow and Reinhard Stolle and Richard Crouch and Valeria de Paiva and Cleo Condoravdi and Martin van den Berg and Livia Polanyi},
  year = {2002},
  doi = {10.1145/503124.503149},
  url = {http://doi.acm.org/10.1145/503124.503149},
  tags = {ontologies, ontology, redundancy},
  researchr = {https://researchr.org/publication/EverettBSCPCBP02},
  cites = {0},
  citedby = {0},
  journal = {CACM},
  volume = {45},
  number = {2},
  pages = {55-60},
}

@article{BiermanP00,
  title = {On an Intuitionistic Modal Logic},
  author = {Gavin M. Bierman and Valeria de Paiva},
  year = {2000},
  tags = {modal logic, logic},
  researchr = {https://researchr.org/publication/BiermanP00},
  cites = {0},
  citedby = {0},
  journal = {sLogica},
  volume = {65},
  number = {3},
  pages = {383-416},
}

@inproceedings{Paiva03,
  title = {Natural Deduction and Context as (Constructive) Modality},
  author = {Valeria de Paiva},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2680/26800116.htm},
  tags = {context-aware},
  researchr = {https://researchr.org/publication/Paiva03},
  cites = {0},
  citedby = {0},
  pages = {116-129},
  booktitle = {context},
}