Electronic Notes in Theoretical Computer Science, Volume 45

Volume 45, 2001

MFPS 2001: Seventeenth Conference on the Mathematical Foundations of Programming Semantics
Aarhus, Denmark May 23 - 26, 2001