vcvpaiva's Ritter:E [13 articles] Export

Recent papers posted to vcvpaiva's library by the author Ritter:E. You can also see everyone's Ritter:E.

	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
	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
	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
	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
	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

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

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
own	6
modal	6
explicit-subs	6
full-intuitionistic	3
knowledge	3
proofnets	2
algebraic	2
intuitionistic	2
functor	1
petri	1
logical	1
combinators	1
cat	1
nets	1
combination	1
predicates	1
sequent-calculus	1
kripke	1
lexical	1
review	1
language	1
lextensiva	1

vcvpaiva's Ritter:E [13 articles] Export

vcvpaiva's tags