Electronic Notes in Theoretical Computer Science: Preface

Jean Yves Girard; Mitsuhiro Okada; Andre Scedrov

doi:10.1016/S1571-0661(05)80397-4

Electronic Notes in Theoretical Computer Science: Preface

Jean Yves Girard, Mitsuhiro Okada, Andre Scedrov

人文社会学科　哲学系

研究成果: Conference article › 査読

本文言語	English
ページ（範囲）	1
ページ数	1
ジャーナル	Electronic Notes in Theoretical Computer Science
巻	3
DOI	https://doi.org/10.1016/S1571-0661(05)80397-4
出版ステータス	Published - 1996
イベント	Linear Logic 96 Tokyo Meeting - Mita Campus, Tokyo, Japan 継続期間: 1996 3月 29 → 1996 4月 2

ASJC Scopus subject areas

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

文献へのアクセス

10.1016/S1571-0661(05)80397-4

他のファイルとリンク

引用スタイル

@article{9955a9b7148e44e48c92a9f2b4a8ae06,

title = "Electronic Notes in Theoretical Computer Science: Preface",

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

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

year = "1996",

doi = "10.1016/S1571-0661(05)80397-4",

language = "English",

volume = "3",

pages = "1",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

}

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

SN - 1571-0661

VL - 3

SP - 1

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

Y2 - 29 March 1996 through 2 April 1996

ER -