TY - JOUR
T1 - Theoretical Computer Science
T2 - Linear Logic
AU - Girard, Jean Yves
AU - Okada, Mitsuhiro
AU - Scedrov, Andre
N1 - Funding Information:
The Linear Logic 96 Tokyo Meeting was held at the Mita Campus of Keio University (in downtown Tokyo), with the support from Keio University, the CNRS(France)-JSSP(Japan) Scienti,c Exchange Program and the US O:ce of Naval Research. We also received the support from COE-Humanity Sciences of MEXT and Oogata-Kenkyu-Josei (Keio University) for the preparation of this special issue.
PY - 2003/2/18
Y1 - 2003/2/18
UR - http://www.scopus.com/inward/record.url?scp=0037452395&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0037452395&partnerID=8YFLogxK
U2 - 10.1016/S0304-3975(01)00134-7
DO - 10.1016/S0304-3975(01)00134-7
M3 - Conference article
AN - SCOPUS:0037452395
VL - 294
SP - 333
JO - Theoretical Computer Science
JF - Theoretical Computer Science
SN - 0304-3975
IS - 3
Y2 - 28 March 1996 through 2 April 1996
ER -