vcvpaiva's library 54 articles Export

	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
	The Duality of Computation [My Copy] by P-L Curien, H. Herbelin posted to semantics by vcvpaiva on 2006-02-20 16:15:23 as
	On the Semantic Readings of Proof-Nets - (ResearchIndex) [My Copy] by P. de Groote, C. Retore posted to proofnets by vcvpaiva on 2006-02-20 16:11:52 as
	Labelled Proof Nets for the Syntax and Semantics of Natural Languages (ResearchIndex) [My Copy] by Guy Perrier posted to proofnets by vcvpaiva on 2006-02-20 16:02:35 as
	Logic Form Transformation of WordNet [My Copy] by V. Rus, D. Moldovan posted to language by vcvpaiva on 2006-02-19 18:14:40 as
	Equality of Proofs for Linear Equality [My Copy] (30 Jan 2006) by K. Dosen, Z. Petric posted to logic review by vcvpaiva on 2006-02-06 15:16:46 as along with 1 person greg_restall
	05-CCCM-dyadic.pdf (application/pdf Object) [My Copy] by C. Caleiro, J. Marcos, M. Coniglio, W. Carnielli posted to logic by vcvpaiva on 2006-01-24 15:53:24 as
	Fibring Sequent Calculus [My Copy] by Luis Cruz-Felipe, C. Sernadas posted to combination logic sequent-calculus by vcvpaiva on 2006-01-24 15:45:28 as
	A constructive proof of completeness of resolution [My Copy] by Jean Gallier posted to logic by vcvpaiva on 2006-01-22 16:44: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
	Traced Premonoidal Categories [My Copy] by Nick Benton, Martin Hyland posted to categorical logic by vcvpaiva on 2005-12-19 23:16:21 as
	Contextual Modal Type Theory [My Copy] by A. Nanevski, B. Pienka, F. Pfenning posted to explicit-subs logic modal by vcvpaiva on 2005-12-19 17:00:41 as
	Jumbo connectives in Proof Theory and Logic [My Copy] by Paul Levy posted to categorical logic by vcvpaiva on 2005-12-19 16:58:05 as
	A Kripke-style semantics for the intuitionistic logic of pragmatics ILP [My Copy] by G. Bellin, K. Ranalter posted to kripke semantics by vcvpaiva on 2005-12-18 20:51:44 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
	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
	Scalability of Redundancy Detection In Focused Document Collections [My Copy] In Proceedings of Workshop on Scalability in Natural Language Understanding (ScaNaLU), by Richard Crouch, Cleo Condoravdi, Reinhard Stolle, Tracy King, John Everett, Daniel Bobrow posted to knowledge semantics by vcvpaiva on 2005-11-19 16:58:11 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
	Entailment, Intensionality and Text Understanding [My Copy] In Proceedings Human Language Technology Conference (HLT-NAACL-2003), Workshop on Text Meaning, (2003) by Cleo Condoravdi, Richard Crouch, Reinhard Stolle, Daniel G. Bobrow posted to knowledge semantics by vcvpaiva on 2005-11-19 16:56:48 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
	Knowledge Tracking: Answering Implicit Questions [My Copy] In Proceedings AAAI Spring Symposium on New Directions in Question Answering by Reinhard Stolle, Daniel Bobrow, Cleo Condoravdi, Richard Crouch, l posted to knowledge semantics by vcvpaiva on 2005-11-19 16:54:37 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

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

Result page: 1 2 Next

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 library 54 articles Export

vcvpaiva's tags