Inproceedings,
Boolean-Valued Semantics for the Stochastic λ-Calculus.
G. Bacci, R. Furber, D. Kozen, R. Mardare, P. Panangaden, and D. Scott.LICS, page 669-678. ACM, (2018)
Meta data
- BibTeX key
- conf/lics/BacciFKMPS18
- entry type
- inproceedings
- booktitle
- LICS
- year
- 2018
- pages
- 669-678
- publisher
- ACM
- crossref
- conf/lics/2018
- ee
- https://doi.org/10.1145/3209108.3209175
- url
- http://dblp.uni-trier.de/db/conf/lics/lics2018.html#BacciFKMPS18
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}