Theoretical Computer Science, Volume 357

Volume 357, Numbers 1-3, July 2006

Clifford Lectures and the Mathematical Foundations of Programming Semantics Contributions