Selected papers of the Meeting on the Mathematical Foundations of Programming Semantics (MFPS '92), Oxford, April 1992
By: guest editors: M.W. Mislove ... [et al.]. Part 1, Linear logic.
Contributors: Mislove, Michael.
Series: Theoretical computer science -- vol.135 (1)
Publisher: Elsevier
Published: 1994
Place of publication: Amsterdam; Oxford
Language: eng