vcvpaiva's linear [31 articles] Export

Recent papers added to vcvpaiva's library classified by the tag linear. You can also see everyone's linear.

	Categorical glueing and logical predicates for models of linear logic [My Copy] (1999) by M. Hasegawa posted to linear logic logical predicates by vcvpaiva on 2007-06-30 18:15:05 as
	A Constructive Game Semantics for the Language of Linear Logic [My Copy] Annals of Pure and Applied Logic, Vol. 85, No. 2. (1997), pp. 87-156. by Giorgi Japaridze posted to linear logic by vcvpaiva on 2006-01-16 16:03:56 as
	Some semantical aspects of linear logic [My Copy] (1996) by A. Blass posted to algebraic categorical linear logic by vcvpaiva on 2006-01-16 16:01:28 as along with 1 person scis0000001
	What is a Categorical Model of Linear Logic? [My Copy] by A. Schalk posted to categorical linear logic by vcvpaiva on 2005-12-28 15:08:13 as
	Abstract Games for Linear Logic [My Copy] by M. Hyland, A. Schalk posted to categorical linear logic by vcvpaiva on 2005-12-27 21:57:29 as
	Games on Graphs and Sequentially Realizable Functionals [My Copy] by M. Hyland, A. Schalk posted to categorical linear logic by vcvpaiva on 2005-12-27 21:48:21 as
	Glueing and orthogonality for models of linear logic [My Copy] by M. Hyland, A. Schalk posted to categorical linear logic by vcvpaiva on 2005-12-27 21:45:54 as
	Proofs, Concurrent Objects, and Computations in a FILL Framework [My Copy] In Object-Based Parallel And Distributed Computation, Vol. 1107 (1995), pp. 148-167. by D. Galmiche, E. Boudinet edited by J. Briot, J. Geib, A. Yonezawa posted to full-intuitionistic linear logic by vcvpaiva on 2005-12-18 15:03:16 as
	Connection methods in linear logic and proof nets construction [My Copy] Theoretical Computer Science, Vol. 232, No. 1--2. (2000), pp. 231-272. by D. Galmiche posted to full-intuitionistic linear logic by vcvpaiva on 2005-12-18 15:00:26 as
	Guarded Programs and Proofs in Linear Logic [My Copy] by Didier Galmiche, R. Couturier posted to linear logic by vcvpaiva on 2005-12-17 16:30:29 as
	On proof normalization in linear logic [My Copy] Theoretical Computer Science, Vol. 135, No. 1. (1994), pp. 67-110. by Didier Galmiche, Guy Perrier posted to linear logic by vcvpaiva on 2005-11-24 16:00:20 as
	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
	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
	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
	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
	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
	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
	Linearly distributive functors [My Copy] (1996) by J. R. B. Cockett, R. A. G. Seely posted to functor linear by vcvpaiva on 2005-11-16 12:24:02 as

Note: You may cite this page as: http://www.citeulike.org/user/vcvpaiva/tag/linear

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 linear [31 articles] Export

vcvpaiva's tags