Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics‚ MFPS 2014‚ Ithaca‚ NY‚ USA‚ June 12−15‚ 2014
Editor
Bart Jacobs and Alexandra Silva and Sam Staton
Publisher
Elsevier
Series
Electronic Notes in Theoretical Computer Science
Volume
308
Year
2014