TY  - RPRT
TI  - Unified Correspondence as a Proof-Theoretic Tool
AU  - Giuseppe Greco
AU  - Minghui Ma
AU  - Alessandra Palmigiano
AU  - Apostolos Tzimoulis
AU  - Zhiguang Zhao
PY  - 2016
UR  - https://arxiv.org/abs/1603.08204
ID  - 1603.08204
ER  -