- Categorical Multirelations, Linear Logic and Petri Valeria de Paiva
- A Dialectica Model of the Lambek Calculus Valeria de Paiva
- A Dialectica Model of State Marcelo da S. Correa \Lambda Edward H. Haeusler
- Linear Explicit Substitutions Neil Ghani Valeria de Paiva Eike Ritter \Lambda
- Linear Explicit Substitutions NEIL GHANI, School of Computer Science, University of Birmingham,
- Variations on Linear PCF (Extended Abstract) Valeria de Paiva and Eike Ritter ?
- Categorical Semantics of Linear Logic For All Valeria de Paiva (paiva@parc.com)
- Context Inducing Nouns Charlotte Price
- Constructive Description Logics: what, why and how
- A Short Note on Intuitionistic Propositional Logic with Multiple Conclusions
- CONSTRUCTIVE CK FOR CONTEXTS MICHAEL MENDLER AND VALERIA DE PAIVA
- Categorical and Kripke Semantics for Constructive S4 Modal Logic
- A Dialectica-like Model of Linear Logic Valeria C. V. de Paiva
- ISSN 0105-8517 A Linear Specification Language
- Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic
- Building Models of Linear Logic (Extended Abstract)
- Relating Categorical Semantics for Intuitionistic Linear Logic Maria Emilia Maietti Paola Maneggia y Valeria de Paiva z Eike Ritter y
- CutElimination Intuitionistic
- Constructive CK for Contexts Michael Mendler1
- Designing Testsuites for Grammar-based Systems in Applications Valeria de Paiva
- On an Intuitionistic Modal Logic G.M. Bierman
- Poset-valued sets How to build models for Linear Logics
- A Basic Logic for Textual Inference D. Bobrow, C. Condoravdi, R. Crouch, R. Kaplan, L. Karttunen, T. King, V. de Paiva, A. Zaenen
- Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics
- Deverbal Nouns in Knowledge Representation Olga Gurevich
- Dialectica and Chu Constructions: Cousins? Valeria de Paiva
- Intuitionistic Hybrid Logic Torben Brauner a,1
- Categorical Models for Intuitionistic and Linear Type Theory Milly Maietti, Valeria de Paiva and Eike Ritter
- Categorical Modeling of a State Oriented Version of Linear Logic
- Lineales: Algebraic Models of Linear Logic from a Categorical
- Martin Hyland andValeria Paiva1 The firstaim ofthisnote is todescribe an algebraic structure, more primitive
- A SHORT NOTE ON INTUITIONISTIC PROPOSITIONAL LOGIC WITH MULTIPLE CONCLUSIONS
- An Institutional View on Categorical Logic and the Curry-Howard-Tait-Isomorphism
- Full Intuitionistic Linear Logic (Extended Abstract)
- Intuitionistic Necessity Revisited G.M. Bierman* V.C.V. de Paivay
- Lineales: algebras and categories in the semantics of linear logic
- Introduction This work grew from the idea of providing an internal categorical version of th*
