TY  - RPRT
TI  - Heyting frames and Esakia duality
AU  - Guram Bezhanishvili
AU  - Luca Carai
AU  - Patrick Morandi
PY  - 2023
UR  - https://arxiv.org/abs/2302.07913
ID  - 2302.07913
ER  -