Relational Lattices via Duality

Luigi Santocanale. Relational Lattices via Duality. In Ichiro Hasuo, editor, Coalgebraic Methods in Computer Science - 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers. Volume 9608 of Lecture Notes in Computer Science, pages 195-215, Springer, 2016. [doi]

Abstract

Abstract is missing.