Valeria de Paiva

	2009
29		Grigori Mints, Valeria de Paiva, Ruy J. G. B. de Queiroz: Logic, Language, Information and Computation. Inf. Comput. 207(10): 969-970 (2009)
	2008
28		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		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		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		Torben Braüner, Valeria de Paiva: Intuitionistic hybrid logic. J. Applied Logic 4(3): 231-255 (2006)
	2005
23		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		Valeria de Paiva, Rajeev Goré, Michael Mendler: Editorial. J. Log. Comput. 14(4): 439-446 (2004)
21		Valeria de Paiva, Rajeev Goré, Michael Mendler: Forthcoming Papers. J. Log. Comput. 14(4): 621-622 (2004)
20		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		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		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		Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter: Categorical and Kripke Semantics for Constructive S4 Modal Logic. CSL 2001: 292-307
15		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		Maria Emilia Maietti, Valeria de Paiva, Eike Ritter: Categorical Models for Intuitionistic and Linear Type Theory. FoSSaCS 2000: 223-237
13		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		Valeria de Paiva, Andrea Schalk: Building Models of Linear Logic. AMAST 1998: 164-177
9		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	Grigori Mints	[29]
23	Rowan Nairn	[27]
24	Monica Nesi	[5]
25	Livia Polanyi	[17]
26	Ruy J. G. B. de Queiroz	[29]
27	Eike Ritter	[5] [6] [9] [11] [13] [14] [16] [23]
28	Andrea Schalk	[10] [20]
29	Reinhard Stolle	[15] [17] [18]
30	Jørgen Villadsen	[26]
31	Annie Zaenen	[27]

Colors in the list of coauthors