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 - Copyright:
Copyright 2018 Elsevier B.V., All rights reserved.
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 -