TY  - RPRT
TI  - Constructive canonicity for lattice-based fixed point logics
AU  - Willem Conradie
AU  - Andrew Craig
AU  - Alessandra Palmigiano
AU  - Zhiguang Zhao
PY  - 2016
UR  - https://arxiv.org/abs/1603.06547
ID  - 1603.06547
ER  -