Title: Logical Relations for Coherence of Effect Subtyping
Authors: Dariusz Biernacki and Piotr Polesiuk
Journal: Logical Methods in Computer Science(tom: 14(1:11), strony: ), Wydawca:Logical Methods in Computer Science e.V.
Publication type: article
DOI: 10.23638/LMCS-14(1:11)2018