Philip Wadler  Home/Search
Context Related
Links: ACM DBLP | belllabs.com/cm/cs/w...linearsyn.ps.gz avayalabs.com/user/wa...linearsyn.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: belllabs.com/cm/c...linearlogic (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . There is a standard syntax for Girard's linear logic, due to Abramsky, and a standard semantics, due to Seely. Alas, the former is incoherent with the latter: different derivations of the same syntax may be assigned different semantics. This paper reviews the standard syntax and semantics, and discusses the problem that arises and a standard approach to its solution. A new solution is proposed, based on ideas taken from Girard's Logic of Unity. The new syntax is based on pattern matching,... (Update)
Cited by: More
A judgmental analysis of linear logic - Bor-Yuh Evan Chang (Correct)
A Judgmental Analysis of Linear Logic - Bor-Yuh Evan Chang (2003) (Correct)
A Judgmental Analysis Of Linear Logic - Bor-Yuh Evan Chang (2003) (Correct)
Active bibliography (related documents): More All
0.8: A Taste of Linear Logic - Wadler (1993) (Correct)
0.3: Linear Logic - Lincoln (1992) (Correct)
0.3: A Brief Guide to Linear Logic - Scedrov (1993) (Correct)
Similar documents based on text: More All
0.2: There's No Substitute for Linear Logic - Wadler (1991) (Correct)
0.2: Linear Logic, Monads, and the Lambda Calculus - Benton, Wadler (1995) (Correct)
0.2: The Girard-Reynolds Isomorphism - Wadler (2001) (Correct)
Related documents from co-citation: More All
21: Annals of Pure and Applied Logic (context) - Girard, unity et al. - 1993
18: Computational interpretations of linear logic - Abramsky - 1993
17: Theoretical Computer Science (context) - Girard - 1987
BibTeX entry: (Update)
P. Wadler, A syntax for linear logic. Ninth International Conference on the Mathematical Foundations of Programming Semantics, New Orleans, Louisiana, April 1993. Springer Verlag, LNCS 802. http://citeseer.ist.psu.edu/wadler93syntax.html More
@incollection{ wadler93syntax,
author = "Philip Wadler",
title = "A Syntax for Linear Logic",
booktitle = "Mathematical Foundations of Programming Semantics 9th International Conference, New Orleans, {LA}, {USA}, Proceedings",
volume = "802",
publisher = "Springer-Verlag",
address = "New York, N.Y.",
editor = "S. Brookes and M. Main and A. Melton and M. Mislove and D. Schmidt",
pages = "513-529",
year = "1993",
url = "citeseer.ist.psu.edu/wadler93syntax.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard, logic - 1987 ACM
291 Theoretical Computer Science (context) - Lafont, abstract - 1988 ACM
291 Computational lambda-calculus and monads - Moggi - 1989 ACM DBLP
184 Linear types can change the world - Wadler - 1990
73 Lectures on Linear Logic (context) - Troelstra - 1992
73 Is there a use for linear logic (context) - Wadler - 1991
51 Operational aspects of linear lambda calculus - Lincoln, Mitchell - 1992 DBLP
50 New foundations for the geometry of interaction - Abramsky, Jagadeesan - 1992 ACM DBLP
47 Lilac: a functional programming language based on linear log.. (context) - Mackie - 1991 DBLP
43 Game semantics for linear logic (context) - Lafont, Streicher - 1991
43 A taste of linear logic - Wadler - 1993 ACM DBLP
28 Linear continuations - Filinski - 1992 ACM DBLP
22 the unity of logic (context) - Girard - 1991
22 Lecture Notes in Mathematics (context) - Barr, Categories - 1979
22 There's no substitute for linear logic - Wadler - 1992
21 A linear functional language (context) - Holmstrom - 1988
17 and cofree coalgebras (context) - Seely, logic et al. - 1989
16 Event spaces and their linear logic - Pratt - 1992 ACM DBLP
15 Linear logic and interference control (context) - O'Hearn - 1991 ACM DBLP
13 A typed pattern calculus (context) - Breazu-Tannen, Kesner et al. - 1993 ACM DBLP
10 Type assignment for intuitionistic linear logic (context) - Benton, Bierman et al. - 1992
8 Linear ML (context) - Chirimar, Gunter et al. - 1992
3 Presented at Workshop on Mathematical Foundations of Program.. (context) - Abramsky, of et al. - 1990
1 Acceptors as Values (context) - Reddy - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://cm.bell-labs.com/cm/cs/who/wadler/topics/linear-logic.html): More
Operational Interpretations of Linear Logic - Turner, Wadler (1998) (Correct)
A Taste of Linear Logic - Wadler (1993) (Correct)
Once Upon a Type - Turner, Wadler, Mossin (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC