msakai's linear-logic [14 articles] Export

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

	Linear Logic and Naive Set Theory [My Copy] (9 June 2003) by K. Terui posted to linear-logic by msakai on 2009-06-19 16:18:22 as along with 1 person hubris
	Least and Greatest Fixed Points in Linear Logic [My Copy] Logic for Programming, Artificial Intelligence, and Reasoning (2007), pp. 92-106. by David Baelde, Dale Miller posted to linear-logic by msakai on 2009-03-28 14:06:00 as
	Reference counting as a computational interpretation of linear logic [My Copy] Journal of Functional Programming, Vol. 6, No. 02. (1996), pp. 195-244. by Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke posted to garbage-collection linear-logic by msakai on 2009-02-15 09:35:58 as along with 1 person yoriyuki
	Seely categories revisited [My Copy] In Octoberfest Category theory meeting (2006) (2006) by Robin Cockett posted to category-theory linear-logic by msakai on 2009-01-15 23:30:15 as
	Linear logic, domain theory and semi-functors [My Copy] No. RUU-CS-90-34. by Raymond Hoofman posted to category-theory linear-logic by msakai on 2009-01-06 22:16:15 as
	On game semantics for intuitionistic linear logic [My Copy] by Vladimir Komendantsky posted to game-semantics linear-logic by msakai on 2008-06-27 09:45:04 as along with 1 person yoriyuki
	Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus [My Copy] Functional and Logic Programming (2002), pp. 167-182. by Masahito Hasegawa posted to continuation linear-logic by msakai on 2008-06-01 05:04:42 as
	Logical Predicates for Intuitionistic Linear Type Theories [My Copy] Typed Lambda Calculi and Applications (1999), pp. 67-67. by Masahito Hasegawa posted to lambda-calculus linear-logic by msakai on 2008-05-31 14:50:30 as
	The Theory of Twiners and Linear Parametricity (Note) [My Copy] by Ryu Hasegawa posted to category-theory domain-theory linear-logic parametricity by msakai on 2008-05-31 14:29:33 as
	Categorical models of PILL [My Copy] (February 2005) by Rasmus E. Møgelberg, Lars Birkedal, Rasmus L. Petersen posted to category-theory linear-logic by msakai on 2008-05-31 04:28:25 as
	Categorical Semantics of Linear Logic For All [My Copy] by Valeria de Paiva posted to category-theory linear-logic by msakai on 2008-05-28 13:41:30 as
	Linear logic [My Copy] SIGACT News, Vol. 23, No. 2. (1992), pp. 29-37. by Patrick Lincoln posted to linear-logic by msakai on 2008-05-25 14:17:45 as
	A Brief Guide to Linear Logic [My Copy] In Current Trends in Theoretical Computer Science (1993), pp. 377-394. by Andre Scedrov edited by G. Rozenberg, A. Salomaa posted to linear-logic by msakai on 2008-05-25 13:59:49 as along with 1 person ds
	Logical Predicates for Intuitionistic Linear Type Theories [My Copy] In Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications (TLCA'99), Vol. 1581 (1999), pp. 198-212. by Masahito Hasegawa edited by Jean Y. Girard posted to linear-logic logic by msakai on 2006-10-24 16:53:00 as

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

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.

category-theory	81
type-theory	80
haskell	59
domain-theory	35
functional	34
model-checking	33
logic	28
ppl2008	26
ppl2009	26
coalgebra	22
continuation	22
theorem-proving	18
program-transformation	17
polymorphism	16
linear-logic	14
linguistics	14
quantum	14
concurrency	12
modal-logic	12
lambda-calculus	11
institution	10
regular-expression	8
algebraic-specification	7
complexity	7
garbage-collection	7
virtual-machine	7
functional-programming	6
logic-programming	6
parametricity	6
aop	5
coq	5
program-analysis	5
rewriting	5
security	5
set-theory	5
agda	4
alloy	4
dependent-types	4
inductive-logic-programming	4
parser	4
reactive	4
ruby	4
specification	4
topology	4
types	4
algebra	3
c	3
compiler	3
game	3
intuitionistic	3
logical-relation	3
machine-learning	3
process-algebra	3
semantics	3
type-classes	3
type-inference	3
unix	3
verification	3
abductive-logic-programming	2
channel-theory	2
chr	2
classical-logic	2
copyright	2
debug	2
denotational-semantics	2
economics	2
encryption	2
filesystem	2
game-semantics	2
kleene-algebra	2
lcm	2
model-finding	2
monad	2
observational-equivalence	2
ontology	2
operational-semantics	2
optimization	2
parallel-programming	2
philosophy	2
planning	2
provability	2
slacs2007	2
specialization	2
thermodynamics	2
vaguness	2
algebraic-geometry	1
algorithm	1
answer-set-programming	1
arithmetic	1
arrow	1
baysian-network	1
bdd	1
bignum	1
bug	1
category-thoery	1
chu-space	1
cloud	1
compression	1
constructivity	1
context-free-grammer	1
database	1
deep-inference	1
design-by-contract	1
determinacy	1
dialgebra	1
diff	1
e-mail	1
expression-problem	1
fft	1
finance	1
fix-point	1
functional-logic-programming	1
graph-rewriting	1
gui	1
higher-order-logic	1
history	1
information-theory	1
linear-programming	1
machine-code	1
maude	1
module-system	1
network	1
nuclear-deterrence	1
number-theory	1
ocaml	1
pretty-printing	1
prolog	1
quickcheck	1
refactoring	1
region	1
scala	1
self-reference	1
semantic-web	1
shell-programming	1
smt	1
soft-typing	1
software-engineering	1
stage-calculus	1
static-checking	1
stg	1
strictness-analysis	1
temporal-logic	1
termination	1
testing	1
tex	1
web	1
www2005	1

msakai's linear-logic [14 articles] Export

msakai's tags