Valeria de Paiva

2008
28	EE	Olga Gurevich, Richard S. Crouch, Tracy H. King, Valeria de Paiva: Deverbal Nouns in Knowledge Representation. J. Log. Comput. 18(3): 385-404 (2008)
2007
27	EE	Valeria de Paiva, Daniel G. Bobrow, Cleo Condoravdi, Dick Crouch, Tracy H. King, Lauri Karttunen, Rowan Nairn, Annie Zaenen: Textual Inference Logic: Take Two. C&O:RR 2007
26	EE	Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen: Preface. Electr. Notes Theor. Comput. Sci. 174(6): 1-2 (2007)
2006
25		Olga Gurevich, Richard S. Crouch, Tracy H. King, Valeria de Paiva: Deverbal Nouns in Knowledge Representation. FLAIRS Conference 2006: 670-675
24	EE	Torben Braüner, Valeria de Paiva: Intuitionistic hybrid logic. J. Applied Logic 4(3): 231-255 (2006)
2005
23	EE	Maria Emilia Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter: Relating Categorical Semantics for Intuitionistic Linear Logic. Applied Categorical Structures 13(1): 1-36 (2005)
2004
22	EE	Valeria de Paiva, Rajeev Goré, Michael Mendler: Editorial. J. Log. Comput. 14(4): 439-446 (2004)
21	EE	Valeria de Paiva, Rajeev Goré, Michael Mendler: Forthcoming Papers. J. Log. Comput. 14(4): 621-622 (2004)
20	EE	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
19	EE	Valeria de Paiva: Natural Deduction and Context as (Constructive) Modality. CONTEXT 2003: 116-129
18		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
17	EE	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
16	EE	Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter: Categorical and Kripke Semantics for Constructive S4 Modal Logic. CSL 2001: 292-307
15	EE	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
14	EE	Maria Emilia Maietti, Valeria de Paiva, Eike Ritter: Categorical Models for Intuitionistic and Linear Type Theory. FoSSaCS 2000: 223-237
13	EE	Neil Ghani, Valeria de Paiva, Eike Ritter: Linear Explicit Substitutions. Logic Journal of the IGPL 8(1): (2000)
12		Gavin M. Bierman, Valeria de Paiva: On an Intuitionistic Modal Logic. Studia Logica 65(3): 383-416 (2000)
1999
11		Neil Ghani, Valeria de Paiva, Eike Ritter: Categorical Models of Explicit Substitutions. FoSSaCS 1999: 197-211
1998
10	EE	Valeria de Paiva, Andrea Schalk: Building Models of Linear Logic. AMAST 1998: 164-177
9	EE	Neil Ghani, Valeria de Paiva, Eike Ritter: Explicit Substitutions for Constructive Necessity. ICALP 1998: 743-754
8		P. N. Benton, Gavin M. Bierman, Valeria de Paiva: Computational Types from a Logical Perspective. J. Funct. Program. 8(2): 177-193 (1998)
1997
7		Torben Braüner, Valeria de Paiva: A Formulation of Linear Logic Based on Dependency-Relations. CSL 1997: 129-148
6		Eike Ritter, Valeria de Paiva: On Explicit Substitution and Names (Extended Abstract). ICALP 1997: 248-258
1993
5		Monica Nesi, Valeria de Paiva, Eike Ritter: Rewriting Properties of Combinators for Rudimentary Linear Logic. HOA 1993: 256-275
4		P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland: A Term Calculus for Intuitionistic Linear Logic. TLCA 1993: 75-90
3		Martin Hyland, Valeria de Paiva: Full Intuitionistic Linear Logic (extended abstract). Ann. Pure Appl. Logic 64(3): 273-291 (1993)
1992
2		P. N. Benton, Gavin M. Bierman, Valeria de Paiva, Martin Hyland: Linear Lambda-Calculus and Categorial Models Revisited. CSL 1992: 61-84
1989
1		Valeria de Paiva: A Dialectica-like Model of Linear Logic. Category Theory and Computer Science 1989: 341-356

Coauthor Index

1	Natasha Alechina	[16]
2	Nick Benton (P. N. Benton)	[2] [4] [8]
3	Martin van den Berg	[15] [17]
4	Gavin M. Bierman	[2] [4] [8] [12]
5	Patrick Blackburn	[26]
6	Daniel G. Bobrow	[15] [17] [18] [27]
7	Thomas Bolander	[26]
8	Torben Braüner	[7] [24] [26]
9	Cleo Condoravdi	[15] [17] [18] [27]
10	Dick Crouch	[15] [27]
11	Richard S. Crouch	[17] [18] [25] [28]
12	John O. Everett	[15] [17]
13	Neil Ghani	[9] [11] [13]
14	Rajeev Goré	[21] [22]
15	Olga Gurevich	[25] [28]
16	Martin Hyland (J. M. E. Hyland)	[2] [3] [4]
17	Lauri Karttunen	[27]
18	Tracy H. King	[25] [27] [28]
19	Maria Emilia Maietti	[14] [23]
20	Paola Maneggia	[23]
21	Michael Mendler	[16] [21] [22]
22	Rowan Nairn	[27]
23	Monica Nesi	[5]
24	Livia Polanyi	[17]
25	Eike Ritter	[5] [6] [9] [11] [13] [14] [16] [23]
26	Andrea Schalk	[10] [20]
27	Reinhard Stolle	[15] [17] [18]
28	Jørgen Villadsen	[26]
29	Annie Zaenen	[27]

Colors in the list of coauthors