Theoretical Computer Science, Volume 278

Volume 278, Number 1-2, May 2002

Mathematical Foundations of Programming Semantics 1996, Boulder, June 1996