TY  - RPRT
TI  - A new characterization of complete Heyting and co-Heyting algebras
AU  - Francesco Ranzato
PY  - 2017
DO  - 10.23638/lmcs-13(3:25)2017
UR  - https://arxiv.org/abs/1504.03919
ID  - 1504.03919
ER  -