SELECTED PAPERS OF THE MEETING ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS (MFP 92), OXFORD, APRIL 1992 .1. LINEAR LOGIC - FOREWORD

Authors
MISLOVE MW REED GM ROSCOE AW WACHTER RF
Citation
Mw. Mislove et al., SELECTED PAPERS OF THE MEETING ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING-SEMANTICS (MFP 92), OXFORD, APRIL 1992 .1. LINEAR LOGIC - FOREWORD, Theoretical computer science, 135(1), 1994, pp. 1-1
Citations number
NO
Categorie Soggetti
Computer Sciences","Computer Science Theory & Methods
Journal title
Theoretical computer science → ACNP
ISSN journal
03043975
Volume
135
Issue
1
Year of publication
1994
Pages
1 - 1
Database
ISI
SICI code
0304-3975(1994)135:1<1:SPOTMO>2.0.ZU;2-A