%0 Conference Paper %1 conf/lics/BacciFKMPS18 %A Bacci, Giorgio %A Furber, Robert %A Kozen, Dexter %A Mardare, Radu %A Panangaden, Prakash %A Scott, Dana S. %B LICS %D 2018 %E Dawar, Anuj %E Grädel, Erich %I ACM %K dblp %P 669-678 %T Boolean-Valued Semantics for the Stochastic λ-Calculus. %U http://dblp.uni-trier.de/db/conf/lics/lics2018.html#BacciFKMPS18

@inproceedings{conf/lics/BacciFKMPS18, added-at = {2020-03-11T00:00:00.000+0100}, author = {Bacci, Giorgio and Furber, Robert and Kozen, Dexter and Mardare, Radu and Panangaden, Prakash and Scott, Dana S.}, biburl = {https://www.bibsonomy.org/bibtex/23abc7fd3e7faeb05035d46e927d6aa68/dblp}, booktitle = {LICS}, crossref = {conf/lics/2018}, editor = {Dawar, Anuj and Grädel, Erich}, ee = {https://doi.org/10.1145/3209108.3209175}, interhash = {22aa01872d714b2be1f74d905ac1b1b0}, intrahash = {3abc7fd3e7faeb05035d46e927d6aa68}, keywords = {dblp}, pages = {669-678}, publisher = {ACM}, timestamp = {2020-03-12T11:53:22.000+0100}, title = {Boolean-Valued Semantics for the Stochastic λ-Calculus.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2018.html#BacciFKMPS18}, year = 2018 }