Theoretical Computer Science: Preface

Jean Yves Girard; Mitsuhiro Okada; Andre Scedrov

doi:10.1016/S0304-3975(01)00134-7

Theoretical Computer Science: Preface

Jean Yves Girard, Mitsuhiro Okada, Andre Scedrov

人文社会学科　哲学系

研究成果: Conference article › 査読

本文言語	English
ページ（範囲）	333
ページ数	1
ジャーナル	Theoretical Computer Science
巻	294
号	3
DOI	https://doi.org/10.1016/S0304-3975(01)00134-7
出版ステータス	Published - 2003 2月 18
イベント	Linear Logic - Tokyo, Japan 継続期間: 1996 3月 28 → 1996 4月 2

ASJC Scopus subject areas

理論的コンピュータサイエンス
コンピュータサイエンス（全般）

文献へのアクセス

10.1016/S0304-3975(01)00134-7

他のファイルとリンク

引用スタイル

@article{cffc85fa78ae4f36b7395dec8b2a53c2,

title = "Theoretical Computer Science: Preface",

author = "Girard, {Jean Yves} and Mitsuhiro Okada and Andre Scedrov",

note = "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.; Linear Logic ; Conference date: 28-03-1996 Through 02-04-1996",

year = "2003",

month = feb,

day = "18",

doi = "10.1016/S0304-3975(01)00134-7",

language = "English",

volume = "294",

pages = "333",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "3",

}

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 -