Theoretical Computer Science, Volume 135

Volume 135, Number 1, 5 December 1994

Selected Papers of the Meeting on the Mathematical Foundations of Programming Semantics (MFPS'92), Oxford, April 1992
Part I: Linear Logic

Volume 135, Number 2, 12 December 1994

a service of Schloss Dagstuhl - Leibniz Center for Informatics