Electronic Notes in Theoretical Computer Science, Volume 6

Volume 6, 1997

MFPS XIII Mathematical Foundations of Progamming Semantics, Thirteenth Annual Conference
Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997