Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types

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]

Abstract

Abstract is missing.