TY  - RPRT
TI  - Esakia Duals of Regular Heyting Algebras
AU  - Gianluca Grilletti
AU  - Davide Emilio Quadrellaro
PY  - 2023
DO  - 10.1007/s00012-023-00833-5
UR  - https://arxiv.org/abs/2303.11246
ID  - 2303.11246
ER  -