Dagger categories and formal distributions

by Richard Blute , Prakash Panangaden
Citations:2 - 0 self