Login / Signup

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

Wolfram Kahl
Published in: J. Log. Algebraic Methods Program. (2008)
Keyphrases