vcvpaiva's de Paiva:V [26 articles] Export

Recent papers posted to vcvpaiva's library by the author de Paiva:V. You can also see everyone's de Paiva:V.

	Rewriting properties of combinators for intuitionistic linear logic [My Copy] (1994) by M. Nesi, V. de Paiva, E. Ritter posted to combinators intuitionistic linear logic own by vcvpaiva on 2005-11-19 17:14:25 as
	Categorical Models of Explicit Substitutions [My Copy] In Foundations of Software Science and Computation Structure (1999), pp. 197-211. by Neil Ghani, Valeria de Paiva, Eike Ritter posted to categorical explicit-subs own by vcvpaiva on 2005-11-19 17:13:25 as
	Explicit Substitutitions for Constructive Necessity [My Copy] by Neil Ghani, Valeria de Paiva, Eike Ritter posted to explicit-subs logic modal by vcvpaiva on 2005-11-19 17:12:44 as
	Syntactic Multicategories and Categorical Combinators for Linear Logic [My Copy] (1993) by E. Ritter, V. de Paiva posted to categorical linear logic by vcvpaiva on 2005-11-19 17:11:51 as along with 1 person and 1 group rgb pileWorks
	Explicit substitution for linear logical frameworks [My Copy] by I. Cervesato, V. de Paiva, E. Ritter posted to explicit-subs linear logic by vcvpaiva on 2005-11-19 17:07:30 as
	A Dialectica Model of the Lambek Calculus [My Copy] by Valeria de Paiva posted to linear logic by vcvpaiva on 2005-11-19 17:06:13 as
	A Substructural Logic for Formal Verification [My Copy] by Sara Kalvala, Valeria de Paiva posted to linear logic by vcvpaiva on 2005-11-19 17:05:17 as along with 1 person dwei98
	Lineales: Algebraic Models of Linear Logic from a Categorical Perspective [My Copy] by Valeria de Paiva posted to algebraic linear logic by vcvpaiva on 2005-11-19 17:02:56 as
	Categorical Models for Intuitionistic and Linear Type Theory [My Copy] Lecture Notes in Computer Science, Vol. 1784 (2000) by Maria E. Maietti, Valeria de Paiva, Eike Ritter posted to categorical linear logic by vcvpaiva on 2005-11-19 17:01:55 as
	Categorical Multirelations, Linear Logic and Petri Nets [My Copy] (May 1991) by V. de Paiva posted to linear logic nets petri by vcvpaiva on 2005-11-19 17:01:15 as
	Relating Categorical Semantics for Intuitionistic Linear Logic [My Copy] No. CSR-01-7. (2001) by Maria E. Maietti, Paola Maneggia, Valeria de Paiva, Eike Ritter posted to categorical linear logic semantics by vcvpaiva on 2005-11-19 17:00:10 as along with 1 person and 1 group mcclurmc Lambda the Ultimate
	Normalization Bounds in Rudimentary Linear Lambda Calculus [My Copy] by Maria E. Maietti, Valeria de Paiva, Eike Ritter posted to linear logic by vcvpaiva on 2005-11-19 16:59:12 as
	Extended Curry-Howard Correspondence for a Basic Constructive Modal Logic [My Copy] by Gianluigi Bellin, Valeria de Paiva, Eike Ritter posted to categorical logic modal by vcvpaiva on 2005-11-19 16:57:25 as along with 1 person kozima
	A Parigot-style Linear lambda-Calculus for Full Intuitionistic Linear Logic [My Copy] by Valeria de Paiva, Eike Ritter posted to categorical linear logic by vcvpaiva on 2005-11-19 16:55:59 as
	Dialectica and Chu Constructions: Cousins? [My Copy] by Valeria de Paiva posted to categorical linear logic by vcvpaiva on 2005-11-19 16:55:26 as
	A dialectica model of state [My Copy] In CATS'96, Computing: The Australian Theory Symposium Proceedings, Melbourne, Australia (1996) by M. Correa, E. Haeusler, V. de Paiva posted to categorical linear logic by vcvpaiva on 2005-11-19 16:52:40 as
	Poset-valued sets or How to build models for Linear Logics [My Copy] (2001) by A. Schalk, V. de Paiva posted to categorical linear logic by vcvpaiva on 2005-11-19 16:51:28 as
	Categorical and Kripke Semantics for Constructive S4 Modal Logic [My Copy] In Proceedings 15th Int.\ Workshop on Computer Science Logic, CSL'01, Paris, France, 10--13 Sept.\ 2001, Vol. 2142 (2001), pp. 292-307. by Natasha Alechina, Michael Mendler, Valeria de Paiva, Eike Ritter edited by L. Fribourg posted to intuitionistic logic modal by vcvpaiva on 2005-11-19 16:50:09 as along with 2 people Scis0000002 kozima
	"Inheritance, Defaults and the Lexicon" Review [My Copy] (1993) by W. Daelemans edited by E. Briscoe, A. Copestake, V. de Paiva posted to lexical semantics by vcvpaiva on 2005-11-19 16:49:24 as
	A Formulation of Linear Logic Based on Dependency-Relations [My Copy] by Torben Brauner, Valeria de Paiva posted to full-intuitionistic linear logic by vcvpaiva on 2005-11-19 16:48:40 as
	On Explicit Substitutions and Names [My Copy] No. CSR-97-5. (March 1997) by Eike Ritter, Valeria de Paiva posted to explicit-subs logic by vcvpaiva on 2005-11-19 16:47:30 as
	Linear Explicit Subsitutions [My Copy] No. CSR-98-2. (March 1998) by Neil Ghani, Valeria de Paiva, Eike Ritter posted to explicit-subs linear logic by vcvpaiva on 2005-11-19 16:46:53 as
	Linear lambda-calculus and categorical models revisited [My Copy] In Proceedings of the Sixth Workshop on Computer Science Logic (1993), pp. 61-84. by N. Benton, G. Bierman, V. de Paiva, M. Hyland edited by E. Borgër, G. Jagër, Kleine H. Bunïng, S. Martini, M. Richter posted to linear logic own by vcvpaiva on 2005-11-19 16:45:11 as
	Computational Types from a Logical Perspective [My Copy] Journal of Functional Programming, Vol. 8, No. 2. (1998), pp. 177-193. by P. N. Benton, Gavin Bierman, Valeria de Paiva posted to logic modal own by vcvpaiva on 2005-11-19 16:43:18 as along with 2 people kozima jsala
	Intuitionistic Necessity Revisited [My Copy] No. CSR-96-10. (1996) by G. M. Bierman, Valeria de Paiva posted to linear logic modal own by vcvpaiva on 2005-11-19 16:42:39 as
	A Term Calculus for Intuitionistic Linear Logic [My Copy] In Proceedings Intl.\ Conf.\ on Typed Lambda Calculi and Applications, TLCA'93, Utrecht, The Netherlands, 16--18 March 1993, Vol. 664 (1993), pp. 75-90. by Nick Benton, Gavin Bierman, Valeria de Paiva, Martin Hyland edited by M. Bezem, J. F. Groote posted to linear logic own by vcvpaiva on 2005-11-19 16:41:45 as

Note: You may cite this page as: http://www.citeulike.org/user/vcvpaiva/author/de Paiva:V

logic	43
linear	31
categorical	17
semantics	7
explicit-subs	6
modal	6
own	6
full-intuitionistic	3
knowledge	3
algebraic	2
intuitionistic	2
proofnets	2
cat	1
combination	1
combinators	1
functor	1
kripke	1
language	1
lexical	1
lextensiva	1
logical	1
nets	1
petri	1
predicates	1
review	1
sequent-calculus	1

vcvpaiva's de Paiva:V [26 articles] Export

vcvpaiva's tags