%0 Conference Paper %1 journals/corr/LindleyM14 %A Lindley, Sam %A Morris, J. Garrett %B PLACES %D 2014 %E Donaldson, Alastair F. %E Vasconcelos, Vasco T. %K %P 9-16 %T Sessions as Propositions. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs155.html#LindleyM14 %V 155

@inproceedings{journals/corr/LindleyM14, added-at = {2023-12-12T20:52:03.000+0100}, author = {Lindley, Sam and Morris, J. Garrett}, biburl = {https://www.bibsonomy.org/bibtex/20102ec1ad14189bcca7a80a3137abcc2/admin}, booktitle = {PLACES}, crossref = {journals/corr/DonaldsonV14}, editor = {Donaldson, Alastair F. and Vasconcelos, Vasco T.}, ee = {http://arxiv.org/abs/1406.3479}, interhash = {358b057358d51b4892c677a69acfcadd}, intrahash = {0102ec1ad14189bcca7a80a3137abcc2}, keywords = {}, pages = {9-16}, series = {EPTCS}, timestamp = {2023-12-12T20:52:03.000+0100}, title = {Sessions as Propositions.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs155.html#LindleyM14}, volume = 155, year = 2014 }