%0 Conference Paper %1 conf/esop/LindleyM15 %A Lindley, Sam %A Morris, J. Garrett %B ESOP %D 2015 %E Vitek, Jan %I Springer %K %P 560-584 %T A Semantics for Propositions as Sessions. %U http://dblp.uni-trier.de/db/conf/esop/esop2015.html#LindleyM15 %V 9032 %@ 978-3-662-46668-1

@inproceedings{conf/esop/LindleyM15, added-at = {2023-12-12T21:21:58.000+0100}, author = {Lindley, Sam and Morris, J. Garrett}, biburl = {https://www.bibsonomy.org/bibtex/297bb904fdc8f77d6c74fa785dcd5a0a3/admin}, booktitle = {ESOP}, crossref = {conf/esop/2015}, editor = {Vitek, Jan}, ee = {https://doi.org/10.1007/978-3-662-46669-8_23}, interhash = {3d15304457e0b021702a2049f5bb8570}, intrahash = {97bb904fdc8f77d6c74fa785dcd5a0a3}, isbn = {978-3-662-46668-1}, keywords = {}, pages = {560-584}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:21:58.000+0100}, title = {A Semantics for Propositions as Sessions.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2015.html#LindleyM15}, volume = 9032, year = 2015 }