Tag linear-logic [100 articles] Export

Recent papers classified by the tag linear-logic.

	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 spine-form linear-logic by robertjohnsimmons to the group ConcertRG on 2009-10-21 00:10:53 as
	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
	A Survey of Linear Logic Programming [My Copy] COMPUTATIONAL LOGIC, Vol. 2 (1995), pp. 2-2. by Dale Miller posted to logic-programming linear-logic by jcreed on 2009-10-06 14:05:01 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
	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 rg-2009 linear-logic concurrency by robertjohnsimmons to the group ConcertRG on 2009-09-17 19:33:06 as along with 1 person tov
	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
	Monadic concurrent linear logic programming [My Copy] In PPDP '05: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming (2005), pp. 35-46. by Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins posted to logic-programming linear-logic focusing by hdeyoung on 2009-08-24 15:28:42 as along with 3 people and 1 group robertjohnsimmons darinm tautologico ConcertRG
	Proofs and types [My Copy] (1989) by Jean Y. Girard, Paul Taylor, Yves Lafont posted to rg-2009 proof-theory natural-deduction logical-relations logic linear-logic by robertjohnsimmons to the group ConcertRG on 2009-08-20 19:07:00 as along with 7 people pedagand ddemange dimvar robotact alec AndreasSchropp jonathlela
	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 rg-2006 logic-programming linear-logic focusing by robertjohnsimmons to the group ConcertRG on 2009-08-17 19:54:39 as
	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
	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 semantics rg-2009 proof-theory proof-nets ludics linear-logic cut-elimination by robertjohnsimmons to the group ConcertRG on 2009-08-05 22:34:03 as along with 2 people scis0000001 flavian_vasile
	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
	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 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
	Full completeness of the multiplicative linear logic of Chu spaces [My Copy] Logic in Computer Science, 1999. Proceedings. 14th Symposium on (1999), pp. 234-243. by H. Devarajan, D. Hughes, G. Plotkin, V. Pratt posted to chu-space linear-logic mll semantics by isotelesis on 2009-07-16 17:05:24 as along with 1 person scis0000001
	Chu spaces as a semantic bridge between linear logic and mathematics [My Copy] Theor. Comput. Sci., Vol. 294, No. 3. (February 2003), pp. 439-471. by Vaughan Pratt posted to algebraic-structures algebraicity algorithmic-information-theory algorithmic-statistics all-algebraic-categories all-algebraic-structures all-relational-structures all-small-categories category-theory chu-space computability-logic conceptual-structures discrete-geometry fca information-distance interactivity lattice linear-logic logical-information-system mathematical-structures mathematics relational-structures representation semantics stone-gamut transformation unified-concept-theory by isotelesis on 2009-07-16 16:57:02 as along with 1 person scis0000001
	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
	Operational interpretations of linear logic [My Copy] Theoretical Computer Science, Vol. 227, No. 1--2. (1999), pp. 231-248. by David N. Turner, Philip Wadler posted to intuitionistic linear-logic type-theory by Scis0000002 on 2009-06-20 08:11:13 as along with 3 people and 1 group dherman tautologico ds NU-PRL
	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 linear-logic by yoriyuki on 2009-02-17 02:52:23 as along with 1 person msakai
	Natural Deduction for Intuitionistic Non-Commutative Linear Logic [My Copy] In Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications (TLCA'99) (1999), pp. 295-309. by Jeff Polakow, Frank Pfenning edited by J. Y. Girard posted to intuitionism linear-logic natural-deduction by darinm on 2008-09-26 00:57:34 as along with 1 person byorgey
	The graphical Krivine machine [My Copy] Higher Order Symbol. Comput., Vol. 20, No. 3. (September 2007), pp. 295-318. by Sylvain Lippi posted to distributed-computation graph-rewriting interaction-nets lambda-calculus linear-logic sharing-graphs by StefanoGuerrini on 2008-06-12 12:30:44 as along with 1 person leemond31
	The optimal implementation of functional programming languages [My Copy] Vol. 45 (1998) by Andrea Asperti, Stefano Guerrini posted to graph-rewriting lambda-calculus linear-logic optimal-reductions sharing-graphs by StefanoGuerrini on 2008-06-12 12:18:49 as along with 1 person yallop
	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
	Linear logic, monads and the lambda calculus [My Copy] In Proceedings of the 11th IEEE Symposium on Logic in Computer Science, Brunswick, New Jersey (jul 1996) by N. Benton, P. Wadler posted to lambda-calculi linear-logic monads by kozima on 2008-05-28 16:12:31 as along with 4 people and 1 group dherman tautologico glaubersp ds NU-PRL
	A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract) [My Copy] In CSL (1994), pp. 121-135. by P. N. Benton posted to category lambda-calculi linear-logic by kozima on 2008-05-28 16:08:43 as along with 1 person msakai
	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
	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 category-theory linear-logic by mcclurmc to the group Lambda the Ultimate on 2008-02-29 19:07:17 as along with 1 person vcvpaiva
	Event-State Duality: The Enriched Case [My Copy] by Vaughan R. Pratt posted to linear-logic phase-spaces by Scis0000002 on 2008-01-02 19:27:35 as along with 1 person scis0000001
	Linear Logic and Noncommutativity in the Calculus of Structures [My Copy] (2003) by L. Straburger posted to calculus-of-structures linear-logic noncommutativity by Scis0000002 on 2007-12-17 13:46:27 as

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

Result page: 1 2 Next

logic-programming	13
lambda-calculus	9
concurrency	8
chu-space	7
logic	7
monads	7
abstract-interpretation	6
categorial-logic	6
focusing	6
linearity	6
logical-frameworks	6
semantics	6
category-theory	5
computability-logic	5
forward-chaining	5
modal-logic	5
proof-theory	5
backward-chaining	4
complexity	4
interaction	4
interactivity	4
natural-deduction	4
weanreview	4
implicit-computational-complexity	3
ludics	3
proof-nets	3
rg-2009	3
algebraic-structures	2
algebraicity	2
algorithmic-information-theory	2
algorithmic-statistics	2
all-algebraic-categories	2
all-algebraic-structures	2
all-relational-structures	2
all-small-categories	2
authorization	2
clf	2
coinduction	2
conceptual-structures	2
control-flow	2
cut-elimination	2
deep-inference	2
discrete-geometry	2
dynamics	2
extension	2
fca	2
graph-rewriting	2
implementation	2
information-distance	2
lambda-calculi	2
lattice	2
logical-information-system	2
logical-relations	2
lollimon	2
mathematical-structures	2
mathematics	2
mll	2
non-commutative	2
noncommutative	2
programming-logic	2
recursive-types	2
relational-structures	2
representation	2
rg-2006	2
self-duality	2
sharing-graphs	2
spine-form	2
static-analysis	2
stone-gamut	2
structure	2
transformation	2
types	2
unified-concept-theory	2
abstract-state-machines	1
aixi	1
algebraic-process-theory	1
authorization-logic	1
behavior	1
calculus-of-structures	1
categorical	1
classical-linear-logic	1
classical-logic	1
computability	1
computational-epistemology	1
game-semantic	1
geometry	1
geometry-of-interaction	1
intuitionistic	1
intuitionistic-logic	1
logics	1
matching	1
metatheory	1
monoidal-closed-categories	1
noncommutativity	1
process-theory	1
program-analysis	1
qait	1
quantum-process-algebra	1
rewriting-logic	1
semweb	1

Tag linear-logic [100 articles] Export

Related Tags