Wolfram Kahl. Dependently-Typed Formalisation of Relation-Algebraic Abstractions. In Harrie C. M. de Swart, editor, Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings. Volume 6663 of Lecture Notes in Computer Science, pages 230-247, Springer, 2011. [doi]
Abstract is missing.