TY  - RPRT
TI  - Choice-free Topological Duality for Implicative Lattices and Heyting Algebras
AU  - Chrysafis Hartonas
PY  - 2023
DO  - 10.13140/rg.2.2.12684.39049
UR  - https://arxiv.org/abs/2302.03674
ID  - 2302.03674
ER  -