TY - RPRT TI - Canonicity and Relativized Canonicity via Pseudo-Correspondence: an Application of ALBA AU - Willem Conradie AU - Alessandra Palmigiano AU - Sumit Sourabh AU - Zhiguang Zhao PY - 2016 UR - https://arxiv.org/abs/1511.04271 ID - 1511.04271 ER -