There's no substitute for linear logic Export

@misc{citeulike:70957, abstract = {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...}, author = {Wadler, P.}, citeulike-article-id = {70957}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.7472}, howpublished = {Manuscript}, keywords = {linearity}, month = {December}, posted-at = {2004-12-31 23:33:34}, title = {There's no substitute for linear logic}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.7472}, year = {1991} }

TY - GEN ID - citeulike:70957 L3 - citeulike-article-id:70957 N2 - 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... TI - There's no substitute for linear logic KW - linearity AU - Wadler, P PY - 1991/December// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.7472 ER -