@proceedings{DBLP:conf/mfps/2018, title = "Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax, Canada, June 6-9, 2018", year = "2018", editor = "Sam Staton", publisher = "Elsevier", series = "Electronic Notes in Theoretical Computer Science", url = "https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/341/suppl/C", volume = "341", }