Preface. Volume 3, Issue 1

Jean Yves Girard, Mitsuhiro Okada, Andre Scedrov

Research output: Contribution to journalArticle

Abstract

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. This is the third volume in the new series, Electronic Notes in Theoretical Computer Science. This series is published electronically through the facilities of Elsevier Science B.V. and under its auspices. The aim of the series is to provide rapid, electronic publication of conference proceedings and of lecture notes, thematic monographs, and other such publications of interest to the theoretical computer science community. The Managing Editors of the series are Michael Mislove, Maurice Nivat and Christos Papadimitriou. ENTCS is affiliated with the journal Theoretical Computer Science, and anyone whose home institution has a paid subscription to TCS and its electronic components will have access to the ENTCS archives. This material and the volumes in the series will be available via Elsevier Science's World Wide Web server, which can be accessed at the URL http://www.elsevier.nl/locate/entcs. Editors:. Jean-Yves Girard (IML-CNRS, Marseille, France). Mitsuhiro Okada (Keio Univ., Japan). Andre Scedrov (Univ. of Pennsylvania, USA).

Original languageEnglish
Pages (from-to)1
Number of pages1
JournalElectronic Notes in Theoretical Computer Science
Volume3
Issue numberC
DOIs
Publication statusPublished - 1996
Externally publishedYes

Fingerprint

Linear Logic
Computer science
Computer Science
Series
Electronics
World Wide Web
Web Server
Websites
Servers
Japan
Logic

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Preface. Volume 3, Issue 1. / Girard, Jean Yves; Okada, Mitsuhiro; Scedrov, Andre.

In: Electronic Notes in Theoretical Computer Science, Vol. 3, No. C, 1996, p. 1.

Research output: Contribution to journalArticle

Girard, Jean Yves ; Okada, Mitsuhiro ; Scedrov, Andre. / Preface. Volume 3, Issue 1. In: Electronic Notes in Theoretical Computer Science. 1996 ; Vol. 3, No. C. pp. 1.
@article{ac9ee1ecd1c24fad9ab5f13bb60f040b,
title = "Preface. Volume 3, Issue 1",
abstract = "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. This is the third volume in the new series, Electronic Notes in Theoretical Computer Science. This series is published electronically through the facilities of Elsevier Science B.V. and under its auspices. The aim of the series is to provide rapid, electronic publication of conference proceedings and of lecture notes, thematic monographs, and other such publications of interest to the theoretical computer science community. The Managing Editors of the series are Michael Mislove, Maurice Nivat and Christos Papadimitriou. ENTCS is affiliated with the journal Theoretical Computer Science, and anyone whose home institution has a paid subscription to TCS and its electronic components will have access to the ENTCS archives. This material and the volumes in the series will be available via Elsevier Science's World Wide Web server, which can be accessed at the URL http://www.elsevier.nl/locate/entcs. Editors:. Jean-Yves Girard (IML-CNRS, Marseille, France). Mitsuhiro Okada (Keio Univ., Japan). Andre Scedrov (Univ. of Pennsylvania, USA).",
author = "Girard, {Jean Yves} and Mitsuhiro Okada and Andre Scedrov",
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",
number = "C",

}

TY - JOUR

T1 - Preface. Volume 3, Issue 1

AU - Girard, Jean Yves

AU - Okada, Mitsuhiro

AU - Scedrov, Andre

PY - 1996

Y1 - 1996

N2 - 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. This is the third volume in the new series, Electronic Notes in Theoretical Computer Science. This series is published electronically through the facilities of Elsevier Science B.V. and under its auspices. The aim of the series is to provide rapid, electronic publication of conference proceedings and of lecture notes, thematic monographs, and other such publications of interest to the theoretical computer science community. The Managing Editors of the series are Michael Mislove, Maurice Nivat and Christos Papadimitriou. ENTCS is affiliated with the journal Theoretical Computer Science, and anyone whose home institution has a paid subscription to TCS and its electronic components will have access to the ENTCS archives. This material and the volumes in the series will be available via Elsevier Science's World Wide Web server, which can be accessed at the URL http://www.elsevier.nl/locate/entcs. Editors:. Jean-Yves Girard (IML-CNRS, Marseille, France). Mitsuhiro Okada (Keio Univ., Japan). Andre Scedrov (Univ. of Pennsylvania, USA).

AB - 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. This is the third volume in the new series, Electronic Notes in Theoretical Computer Science. This series is published electronically through the facilities of Elsevier Science B.V. and under its auspices. The aim of the series is to provide rapid, electronic publication of conference proceedings and of lecture notes, thematic monographs, and other such publications of interest to the theoretical computer science community. The Managing Editors of the series are Michael Mislove, Maurice Nivat and Christos Papadimitriou. ENTCS is affiliated with the journal Theoretical Computer Science, and anyone whose home institution has a paid subscription to TCS and its electronic components will have access to the ENTCS archives. This material and the volumes in the series will be available via Elsevier Science's World Wide Web server, which can be accessed at the URL http://www.elsevier.nl/locate/entcs. Editors:. Jean-Yves Girard (IML-CNRS, Marseille, France). Mitsuhiro Okada (Keio Univ., Japan). Andre Scedrov (Univ. of Pennsylvania, USA).

UR - http://www.scopus.com/inward/record.url?scp=58149206325&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=58149206325&partnerID=8YFLogxK

U2 - 10.1016/S1571-0661(05)80397-4

DO - 10.1016/S1571-0661(05)80397-4

M3 - Article

AN - SCOPUS:58149206325

VL - 3

SP - 1

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

IS - C

ER -