Dual Space of a Lattice as the Completion of a Pervin Space - Extended Abstract

Jean-Éric Pin. Dual Space of a Lattice as the Completion of a Pervin Space - Extended Abstract. In Peter Höfner, Damien Pous, Georg Struth, editors, Relational and Algebraic Methods in Computer Science - 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings. Volume 10226 of Lecture Notes in Computer Science, pages 24-40, 2017. [doi]

Abstract

Abstract is missing.