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]
@inproceedings{Kahl11-0, title = {Dependently-Typed Formalisation of Relation-Algebraic Abstractions}, author = {Wolfram Kahl}, year = {2011}, doi = {10.1007/978-3-642-21070-9_18}, url = {http://dx.doi.org/10.1007/978-3-642-21070-9_18}, tags = { algebra, abstraction}, researchr = {https://researchr.org/publication/Kahl11-0}, cites = {0}, citedby = {0}, pages = {230-247}, booktitle = {Relational and Algebraic Methods in Computer Science - 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. Proceedings}, editor = {Harrie C. M. de Swart}, volume = {6663}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-21069-3}, }