TY  - RPRT
TI  - Step-Indexed Relational Reasoning for Countable Nondeterminism
AU  - Lars Birkedal
AU  - Aleš Bizjak
AU  - Jan Schwinghammer
PY  - 2013
DO  - 10.2168/lmcs-9(4:4)2013
UR  - https://arxiv.org/abs/1310.2031
ID  - 1310.2031
ER  -