Contents and abstracts of the electronic notes in theoretical computer science vol. 3

1998 Theoretical Computer Science  
Preface 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 28 March to 2 April 1996, at the Mita Campus of Keio University (in downtown Tokyo), with the support from Keio
more » ... rsity, JSSP-CNRS and the US 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 Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions (extended abstract)
doi:10.1016/s0304-3975(97)00246-6 fatcat:2skydvbtyvdq3mmxtqwo2hncgi