Electronic Notes in Theoretical Computer Science, Volume 319

Volume 319, December 2015

The 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI).
maintained by Schloss Dagstuhl LZI at University of Trier