Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2013, New Orleans, LA, USA, June 23-25, 2013

Dexter Kozen Michael W. Mislove Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2013, New Orleans, LA, USA, June 23-25, 2013 MFPS Electronic Notes in Theoretical Computer Science 298 Elsevier 2013 https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/298/suppl/C db/journals/entcs/entcs298.html