vcvpaiva's categorical [17 articles] Export

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

	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
	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
	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
	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
	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
	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
	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
	A categorical version of the Brouwer--Heyting--Kolmogorov interpretation [My Copy] by Erik Palmgren posted to cat categorical lextensiva logic by vcvpaiva on 2005-11-19 16:39:09 as

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

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

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 categorical [17 articles] Export

vcvpaiva's tags