TY - JOUR
T1 - Electronic Notes in Theoretical Computer Science
T2 - Linear Logic 96 Tokyo Meeting
AU - Girard, Jean Yves
AU - Okada, Mitsuhiro
AU - Scedrov, Andre
N1 - Funding Information:
The field of linear logic has developed very rapidly during the last ten years. Linear logic is now one of the most active research areas in Logic and in Theoretical Computer Science. The Linear Logic 96 Tokyo Meeting provided a forum for an exchange of research results and a discussion of the future directions in the field. The Linear Logic 96 Tokyo Meeting was held from March 28 through April 2, 1996, at the Mita Campus of Keio University (in downtown Tokyo), with the support from Keio University, JSSP-CNRS and the U.S. Office of Naval Research. These proceedings include extended abstracts and preliminary reports by the invited speakers and the contributed speakers. The last four papers in this volume are contributed papers selected by the editors. We plan to publish formal proceedings composed of full-version papers later.
PY - 1996
Y1 - 1996
UR - http://www.scopus.com/inward/record.url?scp=19144373413&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=19144373413&partnerID=8YFLogxK
U2 - 10.1016/S1571-0661(05)80397-4
DO - 10.1016/S1571-0661(05)80397-4
M3 - Conference article
AN - SCOPUS:19144373413
VL - 3
SP - 1
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
SN - 1571-0661
Y2 - 29 March 1996 through 2 April 1996
ER -