Automatically assigned DDC number: 005131
Manually assigned DDC number: 005131
Number of references: 4
Title: There's No Substitute for Linear Logic
Author:
Subject: Philip Wadler There's No Substitute for Linear Logic
Description: Surprisingly, there is not a good fit between a syntax for linear logic in the style of Abramsky, and a semantics in the style of Seely. Notably, the Substitution Lemma is valid if and only if !A and !!A are isomorphic in a canonical way. An alternative syntax is proposed, that has striking parallels to Moggi's language for monads. In the old syntax, some terms look like the identity that should not, and vice versa; the new syntax eliminates this awkwardness. 1 Introduction This paper has two purposes: to show that linear logic has no substitute, and to propose one. The first part presents a standard syntax and semantics for linear logic, and notes some resulting difficulties. The linear logic is that of Girard [Gir87]. The syntax is based on lambda terms, following in the footsteps of Abramsky [Abr90]: the four rules associated with the `of course' type, Weakening, Contraction, Dereliction, and Promotion, are each represented by a separate term form. The semantics is based on categor...
Contributor: The Pennsylvania State University CiteSeer Archives
Publisher: unknown
Date: 1993-05-20
Pubyear: 1991
Format: ps
Identifier: http://citeseer.ist.psu.edu/142326.html
Source: ftp://ftp.dcs.gla.ac.uk/pub/glasgow-fp/papers/no-subst-for-linear-logic.ps.Z
Language: en
Relation:
Relation:
Relation:
Relation:
Rights: unrestricted
<?xml version="1.0" encoding="UTF-8"?>
<references_metadata>
<rec ID="/504182.html" Type="article" CiteSeer_Book="Theoretical Computer Science" CiteSeer_Volume="111" Title="Computational interpretations of linear logic,">
<identifier Org="ISBN:0387557075" Paper_ID="/504182.html" Extracted="0387557075" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:044450396X" Paper_ID="/504182.html" Extracted="044450396X" DDC="512" Normalized_DDC="512" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0521608570" Paper_ID="/504182.html" Extracted="0521608570" DDC="511.36" Normalized_DDC="51136" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:0792343832" Paper_ID="/504182.html" Extracted="0792343832" DDC="501" Normalized_DDC="501" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:1402012705" Paper_ID="/504182.html" Extracted="1402012705" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540208135" Paper_ID="/504182.html" Extracted="3540208135" DDC="004" Normalized_DDC="004" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540212981" Paper_ID="/504182.html" Extracted="3540212981" DDC="005" Normalized_DDC="005" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540429859" Paper_ID="/504182.html" Extracted="3540429859" DDC="004.015118" Normalized_DDC="004015118" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354055727X" Paper_ID="/504182.html" Extracted="354055727X" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:354055789X" Paper_ID="/504182.html" Extracted="354055789X" />
<identifier Org="ISBN:3540565175" Paper_ID="/504182.html" Extracted="3540565175" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540569928" Paper_ID="/504182.html" Extracted="3540569928" />
<identifier Org="ISBN:3540578870" Paper_ID="/504182.html" Extracted="3540578870" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540584315" Paper_ID="/504182.html" Extracted="3540584315" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540600175" Paper_ID="/504182.html" Extracted="3540600175" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540614877" Paper_ID="/504182.html" Extracted="3540614877" DDC="005.2" Normalized_DDC="0052" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540629203" Paper_ID="/504182.html" Extracted="3540629203" DDC="006.3/33" Normalized_DDC="006333" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540657630" Paper_ID="/504182.html" Extracted="3540657630" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540672621" Paper_ID="/504182.html" Extracted="3540672621" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.05555555555555555" />
<identifier Org="ISBN:3540679340" Paper_ID="/504182.html" Extracted="3540679340" DDC="346/.092" Normalized_DDC="346092" Normalized_Weight="0.05555555555555555" />
</rec>
<rec ID="/12801.html" Type="inproceedings" CiteSeer_Book="Conference Record of the Nineteenth Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages" CiteSeer_Volume="" Title="Linear Continuations,">
<identifier Org="ISBN:019516699X" Paper_ID="/12801.html" Extracted="019516699X" DDC="943.71/02" Normalized_DDC="9437102" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0198532768" Paper_ID="/12801.html" Extracted="0198532768" DDC="510" Normalized_DDC="51" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0415323371" Paper_ID="/12801.html" Extracted="0415323371" DDC="338.5/28" Normalized_DDC="338528" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0520230124" Paper_ID="/12801.html" Extracted="0520230124" DDC="305.8/00973" Normalized_DDC="305800973" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:080474985X" Paper_ID="/12801.html" Extracted="080474985X" DDC="305.895/1073" Normalized_DDC="3058951073" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:0873959345" Paper_ID="/12801.html" Extracted="0873959345" DDC="191" Normalized_DDC="191" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:1604590750" Paper_ID="/12801.html" Extracted="1604590750" />
<identifier Org="ISBN:3540107738" Paper_ID="/12801.html" Extracted="3540107738" />
<identifier Org="ISBN:354021402X" Paper_ID="/12801.html" Extracted="354021402X" />
<identifier Org="ISBN:3540442405" Paper_ID="/12801.html" Extracted="3540442405" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540580271" Paper_ID="/12801.html" Extracted="3540580271" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:3540672621" Paper_ID="/12801.html" Extracted="3540672621" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.1111111111111111" />
<identifier Org="ISBN:9812707905" Paper_ID="/12801.html" Extracted="9812707905" />
</rec>
<rec ID="/286334.html" Type="incollection" CiteSeer_Book="Proceedings 4th Annual IEEE Symp on Logic in Computer Science LICS89 Pacific Grove CA USA 58 June 1989" CiteSeer_Volume="" Title="Computational Lambda-Calculus and Monads,">
<identifier Org="ISBN:0262660717" Paper_ID="/286334.html" Extracted="0262660717" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0521631688" Paper_ID="/286334.html" Extracted="0521631688" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:0818619546" Paper_ID="/286334.html" Extracted="0818619546" />
<identifier Org="ISBN:3540006222" Paper_ID="/286334.html" Extracted="3540006222" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540286209" Paper_ID="/286334.html" Extracted="3540286209" DDC="004.01/512" Normalized_DDC="00401512" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540403000" Paper_ID="/286334.html" Extracted="3540403000" DDC="006.3" Normalized_DDC="0063" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540419608" Paper_ID="/286334.html" Extracted="3540419608" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354043366X" Paper_ID="/286334.html" Extracted="354043366X" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540525319" Paper_ID="/286334.html" Extracted="3540525319" DDC="004.2/1" Normalized_DDC="00421" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540569928" Paper_ID="/286334.html" Extracted="3540569928" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540580271" Paper_ID="/286334.html" Extracted="3540580271" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540626883" Paper_ID="/286334.html" Extracted="3540626883" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:354063388X" Paper_ID="/286334.html" Extracted="354063388X" DDC="005.3" Normalized_DDC="0053" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540662243" Paper_ID="/286334.html" Extracted="3540662243" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540667105" Paper_ID="/286334.html" Extracted="3540667105" DDC="005" Normalized_DDC="005" Normalized_Weight="0.07142857142857142" />
<identifier Org="ISBN:3540734473" Paper_ID="/286334.html" Extracted="3540734473" />
<identifier Org="ISBN:3642005896" Paper_ID="/286334.html" Extracted="3642005896" />
<identifier Org="ISBN:3642006086" Paper_ID="/286334.html" Extracted="3642006086" />
</rec>
<rec ID="/28024.html" Type="inproceedings" CiteSeer_Book="IFIP TC 2 Working Conference on Programming Concepts and Methods Sea of Galilee Israel" CiteSeer_Volume="" Title="Linear types can change the world!,">
<identifier Org="ISBN:0521608570" Paper_ID="/28024.html" Extracted="0521608570" DDC="511.36" Normalized_DDC="51136" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540006222" Paper_ID="/28024.html" Extracted="3540006222" DDC="005.8/2" Normalized_DDC="00582" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540208135" Paper_ID="/28024.html" Extracted="3540208135" DDC="004" Normalized_DDC="004" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354022159X" Paper_ID="/28024.html" Extracted="354022159X" DDC="005.1/1" Normalized_DDC="00511" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540255931" Paper_ID="/28024.html" Extracted="3540255931" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540291075" Paper_ID="/28024.html" Extracted="3540291075" DDC="004.24" Normalized_DDC="00424" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540403256" Paper_ID="/28024.html" Extracted="3540403256" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540405313" Paper_ID="/28024.html" Extracted="3540405313" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540433635" Paper_ID="/28024.html" Extracted="3540433635" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540442405" Paper_ID="/28024.html" Extracted="3540442405" DDC="005.1/01/5113" Normalized_DDC="0051015113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540543961" Paper_ID="/28024.html" Extracted="3540543961" DDC="005.13" Normalized_DDC="00513" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540575294" Paper_ID="/28024.html" Extracted="3540575294" />
<identifier Org="ISBN:3540580271" Paper_ID="/28024.html" Extracted="3540580271" />
<identifier Org="ISBN:3540603689" Paper_ID="/28024.html" Extracted="3540603689" DDC="005.4/3" Normalized_DDC="00543" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540631720" Paper_ID="/28024.html" Extracted="3540631720" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540662243" Paper_ID="/28024.html" Extracted="3540662243" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
<identifier Org="ISBN:354066954X" Paper_ID="/28024.html" Extracted="354066954X" DDC="005.1/17" Normalized_DDC="005117" Normalized_Weight="0.0625" />
<identifier Org="ISBN:3540672575" Paper_ID="/28024.html" Extracted="3540672575" DDC="005.1" Normalized_DDC="0051" Normalized_Weight="0.0625" />
</rec>
<rec ID="SELF" Type="SELF" CiteSeer_Book="SELF" CiteSeer_Volume="SELF" Title="There's No Substitute for Linear Logic">
<identifier Org="ISBN:041521534X" Paper_ID="SELF" Extracted="041521534X" DDC="160" Normalized_DDC="16" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0444516220" Paper_ID="SELF" Extracted="0444516220" DDC="160.9" Normalized_DDC="1609" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:0818627352" Paper_ID="SELF" Extracted="0818627352" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540565175" Paper_ID="SELF" Extracted="3540565175" DDC="511.3" Normalized_DDC="5113" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540569928" Paper_ID="SELF" Extracted="3540569928" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540571825" Paper_ID="SELF" Extracted="3540571825" DDC="005/.01/51" Normalized_DDC="0050151" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540580271" Paper_ID="SELF" Extracted="3540580271" DDC="005.13/1" Normalized_DDC="005131" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540600175" Paper_ID="SELF" Extracted="3540600175" DDC="004/.01/5113" Normalized_DDC="004015113" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540679340" Paper_ID="SELF" Extracted="3540679340" DDC="346/.092" Normalized_DDC="346092" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:3540784977" Paper_ID="SELF" Extracted="3540784977" DDC="003" Normalized_DDC="003" Normalized_Weight="0.09090909090909091" />
<identifier Org="ISBN:9810214626" Paper_ID="SELF" Extracted="9810214626" DDC="004" Normalized_DDC="004" Normalized_Weight="0.09090909090909091" />
</rec>
</references_metadata>