Deriving Dagger Compactness

Publication
Proceedings of QPL 2019.

Related