TY  - RPRT
TI  - Logical relations for coherence of effect subtyping
AU  - Dariusz Biernacki
AU  - Piotr Polesiuk
PY  - 2018
DO  - 10.23638/lmcs-14(1:11)2018
UR  - https://arxiv.org/abs/1710.09469
ID  - 1710.09469
ER  -