Compactly accessible categories and quantum key distribution (0)

by Chris Heunen
Venue:Logical Methods in Computer Science