Compactly accessible categories and quantum key distribution
Chris Heunen
Journal
Logical Methods in Computer Science
Number
4
Volume
4
Year
2008
Chris Heunen