A Syntax for Linear Logic Export

@incollection{citeulike:804680, 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,...}, address = {New York, N.Y.}, author = {Wadler, Philip}, booktitle = {Mathematical Foundations of Programming Semantics 9th International Conference, New Orleans, LA, {USA}, Proceedings}, citeulike-article-id = {804680}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.4346}, editor = {Brookes, S. and Main, M. and Melton, A. and Mislove, M. and Schmidt, D.}, keywords = {linear, logic}, pages = {513--529}, posted-at = {2006-08-18 04:06:11}, priority = {0}, publisher = {Springer-Verlag}, title = {A Syntax for Linear Logic}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.4346}, volume = {802}, year = {1993} }

TY - CHAP ID - citeulike:804680 L3 - citeulike-article-id:804680 N2 - . 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,... AD - New York, N.Y. EP - 529 TI - A Syntax for Linear Logic PB - Springer-Verlag VL - 802 T2 - Mathematical Foundations of Programming Semantics 9th International Conference, New Orleans, LA, {USA}, Proceedings SP - 513 KW - linear KW - logic AU - Wadler, Philip A2 - Brookes, S A2 - Main, M A2 - Melton, A A2 - Mislove, M A2 - Schmidt, D PY - 1993/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.4346 ER -