𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Preface: Volume 3, Issue 1

✍ Scribed by Jean-Yves Girard; Mitsuhiro Okada; Andre Scedrov


Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
33 KB
Volume
3
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

✦ Synopsis


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


πŸ“œ SIMILAR VOLUMES


Preface: Volume 41, Issue 3
✍ Alan Jeffrey πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 41 KB
Preface: Volume 82, Issue 3
✍ Barrett Bryant; JoΓ£o Saraiva πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 48 KB
Preface: Volume 30, Issue 3
✍ Ines Dutra; VΓ­tor Santos Costa; Gopal Gupta; Enrico Pontelli; Manuel Carro; Pete πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 40 KB
Preface: Volume 66, Issue 3
✍ Vladimiro Sassone πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 49 KB
Preface: Volume 65, Issue 3
✍ Mark van den Brand; Ralf LΓ€mmel πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 50 KB
Preface: Volume 70, Issue 3
✍ John Derrick; Eerke Boiten; Jim Woodcock; Joakim von Wright πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 47 KB