Compactly accessible categories and quantum key distribution (0)

by C Heunen
Venue:Logical Methods in Comp. Sci