Alejandro Aguirre 0001, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg 0001
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus
ESOP, 2018.
@inproceedings{ESOP-2018-0001BBBG0,
author = "Alejandro Aguirre 0001 and Gilles Barthe and Lars Birkedal and Ales Bizjak and Marco Gaboardi and Deepak Garg 0001",
booktitle = "{Proceedings of the 27th European Symposium on Programming}",
doi = "10.1007/978-3-319-89884-1_8",
isbn = "['978-3-319-89883-4', '978-3-319-89884-1']",
pages = "214--241",
publisher = "{Springer}",
title = "{Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus}",
year = 2018,
}