Electronic Notes in Theoretical Computer Science, Volume 319

Volume 319, December 2015

The 31st Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXI).
a service of Schloss Dagstuhl - Leibniz Center for Informatics