robertjohnsimmons's linear-logic [39 articles] Export

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

Hide details

	Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear λ-Calculus [My Copy] Term Rewriting and Applications (2006), pp. 151-165. by Sylvain Salvati posted to matching linear-logic by robertjohnsimmons on 2009-10-11 18:52:25 as
	Canonical Sequent Proofs via Multi-Focusing [My Copy] Fifth Ifip International Conference On Theoretical Computer Science – Tcs 2008 (2008), pp. 383-396. by Kaustuv Chaudhuri, Dale Miller, Alexis Saurin posted to multi-focusing linear-logic focusing by robertjohnsimmons on 2009-10-09 16:38:12 as
	Celf – A Logical Framework for Deductive and Concurrent Systems (System Description) [My Copy] Automated Reasoning (2008), pp. 320-326. by Anders Schack-Nielsen, Carsten Schürmann posted to modal-logic logical-frameworks linear-logic concurrency clf by robertjohnsimmons on 2009-10-09 15:13:39 as
	Mismatch [My Copy] (24 March 2003) by Alessio Guglielmi posted to natural-deduction mismatch metatheory logical-frameworks linear-logic inference display-logic by robertjohnsimmons on 2009-09-29 18:50:42 as along with 1 group ConcertRG
	A Hybrid Logical Framework [My Copy] No. CMU-CS-09-155. (July 2009) by Jason Reed posted to logical-frameworks linear-logic hybrid-logic by robertjohnsimmons on 2009-09-18 16:38:46 as
	A Concurrent Logical Framework: The Propositional Fragment [My Copy] Types for Proofs and Programs (2004), pp. 355-377. by Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker posted to logical-frameworks linear-logic lax-logic concurrency clf by robertjohnsimmons on 2009-09-18 14:57:00 as
	On Linear Inference [My Copy] (2 February 2008) by Frank Pfenning posted to linear-logic forward-chaining by robertjohnsimmons on 2009-09-18 14:54:27 as
	Verifying correct usage of atomic blocks and typestate [My Copy] In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications (2008), pp. 227-244. by Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich posted to static-analysis linear-logic concurrency by robertjohnsimmons on 2009-09-17 19:33:06 as along with 1 person and 1 group tov ConcertRG
	Pomset logic: A non-commutative extension of classical linear logic [My Copy] Typed Lambda Calculi and Applications (1997), pp. 300-318. by Christian Retoré posted to linear-logic classical-linear-logic categorial-logic by robertjohnsimmons on 2009-09-04 18:26:25 as
	Concurrent constraint programming and non-commutative logic [My Copy] Computer Science Logic (1998), pp. 406-423. by Paul Ruet, François Fages posted to linear-logic concurrent-constraint-programming categorial-logic by robertjohnsimmons on 2009-09-04 18:24:02 as
	A Judgmental Analysis of Linear Logic [My Copy] No. CMU-CS-03-131R. (April 2003) by Bor-Yuh E. Chang, Kaustuv Chaudhuri, Frank Pfenning posted to linear-logic by robertjohnsimmons on 2009-08-21 22:32:14 as
	A Simpliﬁed Account of the Metatheory of Linear LF [My Copy] No. CMU-CS-01-154. (April 2002) by Joseph C. Vanderwaart, Karl Crary posted to canonical-forms linear-logic logical-frameworks metatheory by robertjohnsimmons on 2009-08-08 20:02:29 as along with 1 group ConcertRG
	Abstract Interpretation of Concurrent Languages based on Linear Logic [My Copy] In GULP (1993), pp. 267-284. by Jean M. Andreoli, Tiziana Castagnetti, Remo Pareschi edited by Domenico Saccà, Domenico Saccà posted to abstract-interpretation linear-logic logic-programming by robertjohnsimmons on 2009-08-05 23:40:20 as
	Logic Programming with Focusing Proofs in Linear Logic [My Copy] J Logic Computation, Vol. 2, No. 3. (1 June 1992), pp. 297-347. by Jean-Marc Andreoli posted to focusing linear-logic logic-programming by robertjohnsimmons on 2009-08-05 23:04:30 as along with 1 group ConcertRG
	Focussing and proof construction [My Copy] Annals of Pure and Applied Logic, Vol. 107, No. 1-3. (15 January 2001), pp. 131-163. by J. Andreoli posted to focusing linear-logic logic-programming by robertjohnsimmons on 2009-08-05 22:59:55 as
	Introduction to linear logic and ludics, part I [My Copy] (18 Jan 2005) by Pierre-Louis Curien posted to cut-elimination linear-logic ludics proof-nets proof-theory semantics by robertjohnsimmons on 2009-08-05 22:34:03 as along with 2 people and 1 group scis0000001 flavian_vasile ConcertRG
	A Linear Spine Calculus [My Copy] J Logic Computation, Vol. 13, No. 5. (1 October 2003), pp. 639-688. by Iliano Cervesato, Frank Pfenning posted to linear-logic spine-form by robertjohnsimmons on 2009-07-24 16:49:21 as along with 1 group ConcertRG
	A Linear Logical Framework [My Copy] Information and Computation, Vol. 179, No. 1. (25 November 2002), pp. 19-75. by I. Cervesato posted to linear-logic logical-frameworks metatheory by robertjohnsimmons on 2009-07-24 16:48:09 as along with 1 person Scis0000002
	Efficient resource management for linear logic proof search [My Copy] Theor. Comput. Sci., Vol. 232, No. 1-2. (2000), pp. 133-163. by Iliano Cervesato, Joshua S. Hodas, Frank Pfenning posted to backward-chaining implementation linear-logic logic-programming by robertjohnsimmons on 2009-07-24 16:33:46 as
	Automated protocol verification in linear logic [My Copy] In PPDP '02: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming (2002), pp. 38-49. by Marco Bozzano, Giorgio Delzanno posted to forward-chaining linear-logic program-analysis saturation by robertjohnsimmons on 2009-07-24 16:09:05 as
	Kripke Models for Linear Logic [My Copy] The Journal of Symbolic Logic, Vol. 58, No. 2. (1993), pp. 514-545. by Gerard Allwein, J. Michael Dunn posted to kriple-models linear-logic by robertjohnsimmons on 2009-07-24 15:28:18 as
	Natural Deduction Calculus for Linear-Time Temporal Logic [My Copy] Logics in Artificial Intelligence (2006), pp. 56-68. by Alexander Bolotov, Artie Basukoski, Oleg Grigoriev, Vasilyi Shangin posted to linear-logic natural-deduction temporal-logic by robertjohnsimmons on 2009-07-24 15:02:24 as
	Monadic concurrent linear logic programming [My Copy] In Proceedings of PPDP '05 (July 2005), pp. 35-46. by Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins posted to backward-chaining forward-chaining linear-logic logic-programming logical-frameworks lollimon modal-logic by robertjohnsimmons on 2009-07-24 14:11:35 as along with 3 people and 1 group hdeyoung darinm tautologico ConcertRG
	Proofs and types [My Copy] (1989) by Jean Y. Girard, Paul Taylor, Yves Lafont posted to linear-logic logic logical-relations natural-deduction proof-theory by robertjohnsimmons on 2009-07-24 13:39:42 as along with 7 people and 1 group pedagand ddemange dimvar robotact alec AndreasSchropp jonathlela ConcertRG
	Monadic parsing in Haskell [My Copy] Journal of Functional Programming, Vol. 8, No. 04. (1998), pp. 437-444. by N. Graham Hutto, R. Erik Meije posted to abstract-interpretation complexity control-flow linear-logic by robertjohnsimmons on 2009-07-22 21:24:31 as
	A Linear Logic of Authorization and Knowledge [My Copy] Computer Security – ESORICS 2006 (2006), pp. 297-312. by Deepak Garg, Lujo Bauer, Kevin Bowers, Frank Pfenning, Michael Reiter posted to authorization-logic linear-logic modal-logic security by robertjohnsimmons on 2009-07-22 21:18:53 as
	Relating complexity and precision in control flow analysis [My Copy] SIGPLAN Not., Vol. 42, No. 9. (2007), pp. 85-96. by David Van Horn, Harry G. Mairson posted to abstract-interpretation complexity control-flow linear-logic by robertjohnsimmons on 2009-07-22 21:13:42 as
	On the Unity of Logic [My Copy] No. 1467. (June 1991) by Jean-Yves Girard posted to classical-logic linear-logic logic sequent-calculus by robertjohnsimmons on 2009-07-22 21:04:27 as
	Decision Problems for Propositional Linear Logic [My Copy] (22 September 1994) by Patrick Lincoln, John Mitchell, Andre Scedrov, Natarajan Shankar posted to complexity linear-logic by robertjohnsimmons on 2009-07-14 04:46:53 as
	Flow Analysis, Linearity, and PTIME [My Copy] Static Analysis (2008), pp. 255-269. by David Van Horn, Harry Mairson posted to abstract-interpretation complexity flow-analysis linear-logic by robertjohnsimmons on 2009-07-14 01:29:35 as along with 1 person dvanhorn
	An Effective Fixpoint Semantics for Linear Logic Programs [My Copy] (23 Mar 2001) by Marco Bozzano, Giorgio Delzanno, Maurizio Martelli posted to abstract-interpretation linear-logic by robertjohnsimmons on 2009-07-14 01:03:56 as
	Higher-order linear logic programming of categorial deduction [My Copy] In Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics (1995), pp. 133-140. by Glyn Morrill posted to categorial-logic focusing higher-order-logic-programming linear-logic logic-programming weanreview by robertjohnsimmons on 2009-07-02 16:21:36 as
	Linguistic Applications of First Order Intuitionistic Linear Logic [My Copy] Journal of Logic, Language and Information, Vol. 10, No. 2. (18 March 2001), pp. 211-232. by Richard Moot, Mario Piazza posted to categorial-logic linear-logic linguistics proof-nets translating-ordered-logic weanreview by robertjohnsimmons on 2009-07-02 14:40:32 as
	Linear logic [My Copy] Theor. Comput. Sci., Vol. 50, No. 1. (January 1987), pp. 1-102. by Jean Y. Girard posted to linear-logic by robertjohnsimmons on 2009-06-30 22:06:19 as along with 4 people robotact bfraser adrian_pigors kira
	Essays in Logical Semantics (Studies in Linguistics and Philosophy) [My Copy] (28 February 1986) by J. Van Benthem posted to categorial-logic lambda-calculus linear-logic by robertjohnsimmons on 2009-06-30 22:03:43 as
	Linear Logical Algorithms [My Copy] Automata, Languages and Programming In Proceedings of ICALP '08 (2008), pp. 336-347. by Robert J. Simmons, Frank Pfenning posted to forward-chaining linear-logic logic-programming by robertjohnsimmons on 2009-06-30 16:32:13 as
	Linear logical approximations [My Copy] In PEPM '09: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation (2009), pp. 9-20. by Robert J. Simmons, Frank Pfenning posted to abstract-interpretation forward-chaining linear-logic logic-programming substructural-operational-semantics by robertjohnsimmons on 2009-06-30 16:30:43 as
	Structural control [My Copy] In Specifying syntactic structures (1997), pp. 75-113. by Natasha Kurtonina, Michael Moortgat edited by Patrick Blackburn, Maarten de Rijke posted to categorial-logic display-logic linear-logic modal-logic substructural-logic weanreview by robertjohnsimmons on 2009-06-30 15:41:37 as
	Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic [My Copy] Logic Programming (2001), pp. 315-330. by Mutsunori Banbara, Kang Kyoung-Sun, Takaharu Hirai, Naoyuki Tamura posted to backward-chaining implementation linear-logic logic-programming weanreview by robertjohnsimmons on 2009-06-30 15:13:44 as

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

logic-programming	42
linear-logic	39
forward-chaining	28
weanreview	24
functional-programming	22
program-analysis	20
logical-frameworks	19
saturation	16
metatheory	15
categorial-logic	15
modal-logic	14
backward-chaining	13
focusing	13
lambda-calculus	12
twelf	12
complexity	12
zipper	11
abstract-interpretation	11
matching	10
linguistics	10
proof-theory	9
concurrency	9
higher-order-abstract-syntax	9
negation	8
sequent-calculus	8
theorem-proving	8
logic	8
bunched-logic	8
rewriting-logic	7
control-flow	7
display-logic	6
unification	6
induction	6
resolution	6
process-calculi	6
substructural-logic	6
case-analysis	5
dependent-types	5
classic-papers-fall09	5
distributed-programming	5
natural-deduction	5
classical-logic	5
lax-logic	5
temporal-logic	5
implementation	4
bisimulation	4
binary-decision-diagram	4
parsing	4
refinement-types	4
weighted-logic-programming	4
polarization	4
hoare-logic	4
typed-assembly-language	4
pedagogy	4
explicit-substitutions	4
polymorphism	4
canonical-forms	4
security	4
design	4
ordered-logic	4
aci	4
cut-elimination	4
matching-modulo	4
bidirectional-type-systems	3
termination	3
uniform-proofs	3
parallelism	3
computability-logic	3
cost-semantics	3
structural-induction	3
substructural-operational-semantics	3
associativity	3
type-inference	3
equivalence	3
rg-2009	3
datatypes	3
category-theory	3
tuple-programming	3
archproject	3
formalize-this	3
program-transformation	3
higher-order-logic-programming	3
semantics	3
contexts	2
equality	2
observational-proofs	2
kriple-models	2
derivative	2
intersection-types	2
classical-linear-logic	2
acl2	2
logical-relations	2
object-oriented-programming	2
lollimon	2
coq	2
fold	2
unification-algorithms	2
hybrid-logic	2
types	2
dynamic-logic	2
isabelle	2
complexity-chart	2
logical-framework	2
denotational-semantics	2
agda	2
interpreters	2
iterators	2
proof-nets	2
de-bruijn-index	2
judgmental-reconstruction	2
spatial-logic	2
authorization-logic	2
linda	2
probabilistic-programming	2
semigroups	2
clf	2
nonclausal-resolution	2
pattern-matching	2
recursion	2
stratification	2
evaluation-contexts	2
heyting-algebras	1
greediness	1
translating-ordered-logic	1
futures	1
deduction	1
concurrent-constraint-programming	1
natural-language	1
modularity	1
extensionality	1
mismatch	1
fold-unfold	1
church-rosser	1
dram	1
flow-analysis	1
term-observation	1
set-theory	1
alfp	1
lazy-computation	1
inference	1
regular-worlds	1
graphs	1
graph-algorithms	1
partial-evaluation	1
union-types	1
survey	1
optimization	1
verification	1
stack-integrity	1
categorical-logic	1
proof-assistants	1
algebra	1
curry-howard	1
cooperative-learning	1
nilpotence	1
hybrid-systems	1
definitional-reflection	1
semi-naive-evaluation	1
defunctionalization	1
dyna	1
normalization	1
program-extraction	1
confluence	1
storage	1
algol	1
linear-terms	1
teaching-logic	1
nlp	1
phase-change-memory	1
monads	1
java	1
free-variables	1
boolean-algebras	1
natural-logic	1
compilers	1
omega-rules	1
galois-connections	1
continuations	1
evaluation-order	1
non-commutative-logic	1
haskell	1
ironies	1
locally-nameless	1
multi-focusing	1
semiring	1
forcing	1
ludics	1
comp-ling	1
separate-compilation	1
spine-form	1
structural-operational-semantics	1
completeness	1
to-appear	1
conservative-extension	1
secd-machine	1
self-adjusting-computation	1
box-proofs	1
standard-ml	1
stress	1
abstract-containers	1
pure-type-systems	1
skolemization	1
committed-choice	1
coverage-checking	1
possible-concertrg-paper	1
definability-theory	1
tabled-logic-programming	1
transactions	1
distributed-consensus	1
constraint-logic-programming	1
horn-clauses	1
full-abstraction	1
flattening	1
type-logical-grammar	1
dependency-parsing	1
fault-tolerance	1
factored-models	1
core-calculi	1
abstraction	1
incremental-evaluation	1
separation-logic	1
incremental-compilation	1
backtrack	1
calculus-of-constructions	1
static-analysis	1
lisp	1
decision-procedures	1
cirquent-calculus	1
coinduction	1
hash-consing	1
language-design	1
functional-pearl	1
algebraic-logic	1
pcf	1
data-abstraction	1
operational-semantics	1
queue-logic	1
citeulike	1
power-management	1
yi	1
congruence-closure	1
work-stealing	1

robertjohnsimmons's linear-logic [39 articles] Export

robertjohnsimmons's tags