Wolfram Kahl. Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types. Journal of Logic and Algebraic Programming, 76(1):60-89, 2008. [doi]
@article{Kahl08:0, title = {Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types}, author = {Wolfram Kahl}, year = {2008}, doi = {10.1016/j.jlap.2007.10.008}, url = {http://dx.doi.org/10.1016/j.jlap.2007.10.008}, tags = {relational algebra, algebra}, researchr = {https://researchr.org/publication/Kahl08%3A0}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {76}, number = {1}, pages = {60-89}, }