Jean-Éric Pin: Dual Space of a Lattice as the Completion of a Pervin Space - Extended Abstract. RAMiCS 2017: 24-40