justhsu
/
justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add uniformity/indep draft.

This commit is contained in:
Justin Hsu 2017-01-23 10:55:03 -05:00
parent 5632f6ddb1
commit c3418eb633
2 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
bibs/myrefs.bib
View File

@ -1,4 +1,16 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%% UNPUBLISHED %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@unpublished{BEGHS17,
title = {Proving uniformity and independence by self-composition and coupling},
author = {Barthe, Gilles and
Espitau, Thomas and
Gr{\'e}goire, Benjamin and
Hsu, Justin and
Strub, {P}ierre-{Y}ves},
year = 2017,
jh = yes,
url = {http://justinh.su/files/papers/rel-indep.pdf},
}
@unpublished{BEGHS16, @unpublished{BEGHS16,
title = {Relational expectation properties by probabilistic coupling}, title = {Relational expectation properties by probabilistic coupling},
author = {Barthe, Gilles and author = {Barthe, Gilles and

BIN
files/papers/rel-indep.pdf Normal file
View File

Binary file not shown.