Dagger categories of tame relations (2011)

by B Jacobs